]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Remove most short options.
authorBruno Haible <bruno@clisp.org>
Sun, 31 Jul 2022 16:42:31 +0000 (18:42 +0200)
committerBruno Haible <bruno@clisp.org>
Sun, 31 Jul 2022 21:52:30 +0000 (23:52 +0200)
commitdb74187094467052245b611a7a1337f3995cab3c
treeac883dfec94d79c8b633dd7ef857c9bc839f8814
parent6bdf668e5748a511082efed773b2b127e93fcb1d
gnulib-tool.py: Remove most short options.

* gnulib-tool.py (main): Reorder the list of options. Remove most short
options, for consistency with gnulib-tool.
ChangeLog
gnulib-tool.py
gnulib-tool.py.TODO