kc3-lang/gnulib

2024-05-15T20:25:38

gnulib-tool.py: Don't print tracebacks when Ctrl-C is pressed. Suggested by Pádraig Brady in <https://lists.gnu.org/archive/html/bug-gnulib/2024-05/msg00200.html>. * pygnulib/main.py (cli_exception): New function. (main_with_exception_handling): Use it.