/w32/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2010-12-05 17:35 +0100 331 Build_GLPK_with_VC10.bat
-rw-r--r-- 2010-12-05 17:35 +0100 343 Build_GLPK_with_VC10_DLL.bat
-rw-r--r-- 2010-12-05 17:35 +0100 329 Build_GLPK_with_VC9.bat
-rw-r--r-- 2010-12-05 17:35 +0100 341 Build_GLPK_with_VC9_DLL.bat
-rw-r--r-- 2010-12-05 17:35 +0100 3068 Makefile_VC
-rw-r--r-- 2010-12-05 17:35 +0100 3122 Makefile_VC_DLL
-rw-r--r-- 2010-12-05 17:35 +0100 308 config_VC
-rw-r--r-- 2010-12-05 17:35 +0100 21143 glpk_4_45.def
-rw-r--r-- 2010-12-05 17:35 +0100 951 readme.txt