git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bd3d2b) | patch
Another tactic -> predicate replacement.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 25 Feb 2020 22:22:36 +0000 (22:22 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 25 Feb 2020 22:22:36 +0000 (22:22 +0000)
commit35930e14be6f3c0401df989709dd654275117c30
tree12de4be32563f44d26f44d10fef7508a63ba3712tree | snapshot
parent8bd3d2b6a5d8e01b5e1fd6b77f0e1fb03f6027d9commit | diff
Another tactic -> predicate replacement.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.