git.annexia.org / goaljobs-goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b31168) | patch
Unblock gappalib-coq and frama-c (thanks Jerry James).
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 26 Aug 2014 21:10:39 +0000 (22:10 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 26 Aug 2014 21:10:39 +0000 (22:10 +0100)
commit33c8c27995cc398dfdc23502a5ba579792b5833c
tree6b8e87a5aba674c49df1b663953219c34af16038tree | snapshot
parent9b311682ee639fc3399056b7b93ba9bd0140a639commit | diff
Unblock gappalib-coq and frama-c (thanks Jerry James).
fedora_ocaml_rebuild.ml diff | blob | history
goaljobs used to manage libguestfs, Fedora rebuilds and more.