git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf91d4b) | patch
parser: Fix longstanding bug where "()" was required after CLI targets.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 11 Jan 2020 20:28:44 +0000 (20:28 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 11 Jan 2020 20:28:44 +0000 (20:28 +0000)
commite23952e03c37201fe805ad3d1635e7d2d41e5908
treec27ec856305e72383ed3884cc187ffa155091efctree | snapshot
parentbf91d4bb90c84d360609ffb30a68cf8adb5b1448commit | diff
parser: Fix longstanding bug where "()" was required after CLI targets.
Makefile.in diff | blob | history
TODO diff | blob | history
src/parse.ml diff | blob | history
src/parser.mly diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.