Achim Gsell 1daace6713 OS specific build settings moved to configuration file

2017-05-09 23:34:16 +02:00

..

environment.bash.in

config/environment.bash.{in.psi}

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

environment.bash.psi

config/environment.bash.{in.psi}

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

modbuild.conf

OS specific build settings moved to configuration file

2017-05-09 23:34:16 +02:00

versions.conf

config/versions.conf

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