git.annexia.org / goaljobs-goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5324bda) | patch
Unblock camlp5 since it has been ported to 4.08 now.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 27 Jun 2019 13:24:13 +0000 (14:24 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 27 Jun 2019 13:24:13 +0000 (14:24 +0100)
commit19508c1fe0f90bc2b54a347e636c4b9a161e4da3
tree4d69875ae15bf451e1132f1f3b295c11fa78be4ftree | snapshot
parent5324bda8dbb31613640901bfba9b0dd339bc9616commit | diff
Unblock camlp5 since it has been ported to 4.08 now.
fedora_ocaml_rebuild.ml diff | blob | history
goaljobs used to manage libguestfs, Fedora rebuilds and more.