gsell f5bf857cee bootstrap: ...

- add options to overwrite installation root and configuration file

2017-05-17 12:56:22 +02:00

..

environment.bash.in

config/environment.bash.{in.psi}

2017-03-30 13:20:10 +02:00

environment.bash.opalrunner

bootstrap:

2017-05-17 12:56:22 +02:00

environment.bash.psi

config/environment.bash.{in.psi}

2017-03-30 13:20:10 +02:00

versions.conf

config/versions.conf

2017-04-20 11:29:23 +02:00