tempest

gereon 4361647ef4 made settings callbacks work and changed names to match our conventions. it is possible to register callbacks that add custom options to the settings module. it is also possible to register callbacks that perform checks on the variable assignment afterwards. The registering is done during the static initialization phase, i.e. before main() does anything.		12 years ago
..
eigen	Moved/merged 3rdParty into 3rdparty	13 years ago
gmm-4.2	Adding gmm++, examples. Adding gmm to gitignore.	13 years ago
gtest-1.6.0	Merge branch 'parser'	13 years ago
log4cplus-1.1.0	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC/	12 years ago