git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce72c65) | patch
Change -V to -v for compat with make.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 30 Dec 2019 21:41:17 +0000 (21:41 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 30 Dec 2019 21:59:21 +0000 (21:59 +0000)
commitee7e7f3e46095b24649523ccd91b7e5e4cef990a
treec5fde2ab2fd11706b9bbca8ca6516f4639cccc85tree | snapshot
parentce72c651658e7eb53f5c6002d572349571ff33a4commit | diff
Change -V to -v for compat with make.
src/cmdline.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.