Commit 38b9f0600d698d2b24014f83abad97c9e76e2b87

Bruno Haible 2020-01-18T23:05:36

Rename ~~gnulib.m4 to zzgnulib.m4. Suggested by Paul Eggert. * m4/zzgnulib.m4: Renamed from m4/~~gnulib.m4. * gnulib-tool (func_get_filelist): Update. * pygnulib/GLModuleSystem.py (getFiles): Likewise.