*** empty log message ***
-rw-r--r-- 300 KnownBugs
-rwxr-xr-x 1696 SUPER_INSTALL
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - src
drwxr-xr-x - tests
-rw-r--r-- 1638 win32-install.bat