Commit 89be3fb0149cfd35d71ffa85cec60e8b3296a000
2024-03-29T06:09:20
gnulib-tool.py: Display specified modules in bold. * pygnulib/GLImport.py (GLImport.prepare): Detect terminals starting with 'xterm'. Change hexadecimal numbers to octal, matching gnulib-tool.sh. * pygnulib/GLTestDir.py (GLTestDir.execute): Likewise.