Generate batch file instead of shell script on Windows
tree99fefb6815fc33d88ade4478d92f88fd5feeaadc
-rwxr-xr-x 3536 0release
-rw-r--r-- 2635 0release.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1161 README
-rw-r--r-- 5386 compile.py
-rw-r--r-- 23230 release.py
-rw-r--r-- 6348 scm.py
-rw-r--r-- 4409 setup.py
-rw-r--r-- 7375 support.py
drwxr-xr-x - tests