git.annexia.org / goaljobs-goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c6eaf8) | patch
Revert "Add freetennis."
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 10:32:51 +0000 (11:32 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 10:32:51 +0000 (11:32 +0100)
commit5e8c2cd06d80d7e388885f2d895cf4501dc7f9ae
treeab235a8fe7b550fbe4aa1ea71ded247d99510e12tree | snapshot
parent4c6eaf8b788a69abac10baf7be7861d6d5c071c6commit | diff
Revert "Add freetennis."

Depends on lablgl which depends on camlp4.

This reverts commit 983dbd253d34129382737dd283dd2910f7933c06.
fedora_ocaml_rebuild.ml diff | blob | history
goaljobs used to manage libguestfs, Fedora rebuilds and more.