git.annexia.org / fedora-ocaml-rebuild.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Another tactic -> predicate replacement.
[fedora-ocaml-rebuild.git] / README
2020-01-07 Richard W.M. JonesInitial commit. blob | commitdiff
Unnamed repository; edit this file 'description' to name the repository.