source: IOIPSL @ 37

Name Size Rev Age Author Last Change
../
branches 3   18 years rblod First import of IOIPSL
tags 37   17 years bellier JB: update (sh -> ksh)
trunk 35   17 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.