fix gnulib-tool --version; also show snapshot and debian package version
[gnulib.git] / debian / gnulib.manpages
1 debian/manpages/*