Use a fast start-up for this script to avoid sourcing a user's
[WPS.git] / arch / 
treeca4e00e12808c9f31a71e797667a7b31577196a7
drwxr-xr-x   ..
-rw-r--r-- 12066 Config.pl
-rw-r--r-- 29432 configure.defaults
-rwxr-xr-x 240 fixlinks
-rw-r--r-- 471 postamble
-rw-r--r-- 1827 preamble
-rw-r--r-- 88 sourceme_windows.bash
-rw-r--r-- 88 sourceme_windows.csh
-rwxr-xr-x 157 zaplinks