git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf6fb19) | patch
Ignore certain optional commands failing.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 8 Jan 2020 21:58:18 +0000 (21:58 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 8 Jan 2020 21:58:18 +0000 (21:58 +0000)
commit6c7870228409d1f1c909fe239b555ab09bfd86d1
tree82a8544f13caad82319c78fb15a29d338d54e577tree | snapshot
parentcf6fb19e5c15117dabead039180a9485cc3aa286commit | diff
Ignore certain optional commands failing.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.