settings: new configuration variable: generate_win32_compatible_filenames
tree3d2203f19ba37b823715b48c2852ca06dbf23ae8
-rw-r--r-- 153 .gitignore
-rw-r--r-- 89 AUTHORS
-rw-r--r-- 18011 COPYING
-rw-r--r-- 6970 INSTALL
-rw-r--r-- 247 Makefile.am
-rw-r--r-- 10450 NEWS
-rwxr-xr-x 3345 autogen.sh
-rw-r--r-- 9392 configure.in
drwxr-xr-x - doc
drwxr-xr-x - extras
drwxr-xr-x - src