Yehonal 765fad6133 some fixes to bash config files		2016-08-07 12:10:51 +02:00
..
config.cmake.dist	configuration system for cmake	2016-08-07 12:02:55 +02:00
config.sh.dist	some fixes to bash config files	2016-08-07 12:10:51 +02:00