Commit 7952aabdf99f8083328f79eda136fe8718f7157a

Bruno Haible 2019-03-13T20:00:53

gnulib-tool: Clarify the coding style. Suggested by Pavel Raiskup <praiskup@redhat.com>. * gnulib-tool: Add comment about coding style.