gsell 018fa873ad - BUILD_DOWNLOADSDIR renamed to PMODULES_DISTDIR ...

- BUILD_TMPDIR rename to PMODULES_TMPDIR
- both above can be configured via command line or config file

2015-10-05 17:41:07 +02:00

..

environment.bash.psi

- BUILD_DOWNLOADSDIR renamed to PMODULES_DISTDIR

2015-10-05 17:41:07 +02:00

versions.conf

Bootstrap:

2015-09-18 18:24:02 +02:00