git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b81982) | patch
build: Fix ocamldep invocation.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 19:19:01 +0000 (19:19 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 19:19:16 +0000 (19:19 +0000)
commiteaa22cca2ae85beff5b6f981e084fc9d9b57f202
tree84d851890d9708036c3773b9f90abab46d026a4dtree | snapshot
parent7b81982e98bd98cba5813dc2417d7e0d71bdc452commit | diff
build: Fix ocamldep invocation.
Goalfile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.