git.annexia.org / goaljobs-goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e8c2cd) | patch
Block coq while jjames looks at it.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 17:39:35 +0000 (18:39 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 17:39:35 +0000 (18:39 +0100)
commit4f4e732e582bfe1705c231c98486cb90b3d10175
treed066080fbe20bf59c94f9386a7d1cbb7e9a2661etree | snapshot
parent5e8c2cd06d80d7e388885f2d895cf4501dc7f9aecommit | diff
Block coq while jjames looks at it.
fedora_ocaml_rebuild.ml diff | blob | history
goaljobs used to manage libguestfs, Fedora rebuilds and more.