Commit 6b79ce37dd0153046cd05a43e0957dab20234d5e

Bruno Haible 2022-07-31T23:02:58

gnulib-tool.py: Improve some error messages. * gnulib-tool.py (main): Write "*** Stop." instead of "*** Exit.". (__main__): Print an error message for GLError 5, 13, 14, 15, 16, 17, 18. * pygnulib/GLError.py (GLError.__repr__): Compute one error message, not 19.