Setting to standard shell
[WPS.git] / arch / 
treeb81de9e576fd6f47b6b8e80de2f421e1d8f61b66
drwxr-xr-x   ..
-rw-r--r-- 12764 Config.pl
-rw-r--r-- 36031 configure.defaults
-rwxr-xr-x 14056 configure_reader.py
-rwxr-xr-x 240 fixlinks
-rw-r--r-- 495 postamble
-rw-r--r-- 1983 preamble
-rw-r--r-- 88 sourceme_windows.bash
-rw-r--r-- 88 sourceme_windows.csh
-rwxr-xr-x 157 zaplinks