-
Clement Vasseur authored
Fix problem with case-insensitive filesystems. * distrib/debian/changelog: Rename as... * distrib/debian/changelog-deb: ...this. * distrib/debian/Makefile.am: Adjust.
b319c82c
Fix problem with case-insensitive filesystems. * distrib/debian/changelog: Rename as... * distrib/debian/changelog-deb: ...this. * distrib/debian/Makefile.am: Adjust.