bugfixes; build system changed again %-)
treeb8178d74b54022a6710d8971b6a7ffbc6c49ef16
-rw-r--r-- 163 CREDITS
-rw-r--r-- 6942 ChangeLog
-rw-r--r-- 374 Jamfile
-rw-r--r-- 772 Jamrules
-rwxr-xr-x 113 build_all.sh
-rwxr-xr-x 56 build_nix.sh
-rwxr-xr-x 135 build_nix_full.sh
-rwxr-xr-x 192 build_nix_lite.sh
-rwxr-xr-x 1588 build_redist.sh
-rwxr-xr-x 56 build_w32.sh
-rwxr-xr-x 154 build_w32_full.sh
-rwxr-xr-x 215 build_w32_lite.sh
drwxr-xr-x - src
drwxr-xr-x - sylist