Commit 2ec275004253b6618ffc178aa32a67a6a75fa5fb

Bruno Haible 2010-09-05T11:28:47

gnulib-tool: Highlight the changed options. * gnulib-tool (func_usage): Display the --import, --add-import, --remove-import explanations in bold font.