source: IOIPSL @ 42

Name Size Rev Age Author Last Change
../
branches 3   19 years rblod First import of IOIPSL
tags 37   18 years bellier JB: update (sh -> ksh)
trunk 35   18 years bellier JB: change SHELL from bin/sh to bin/ksh to avoid problems on brodie
Note: See TracBrowser for help on using the repository browser.