descriptionUnnamed repository; edit this file 'description' to name the repository.
last changeFri, 29 Nov 2013 08:24:03 +0000 (09:24 +0100)
2013-11-29 Josef SpillnerMerge branch 'master' of master bomba/master origin/HEAD origin/master
2013-11-26 Josef Spillner- ignore generated configuration file
2013-11-26 Josef Spillner- more robust script
2013-11-19 Lipeng Ma Ma removed test_ma
2013-11-19 Lipeng Ma Ma commit test
2013-10-25 Josef SpillnerMerge branch 'master' of
2013-10-25 Josef Spillner- cleanup of precompiled WAR files: they only belong...
2013-10-25 Sebastian TilschMerge branch 'master' of git://
2013-10-25 Sebastian Tilschslightly changed swagger REST_API doc
2013-10-25 pujunyuDelete test
2013-10-25 pujunyutest
2013-10-25 Sebastian Tilschpush test
2013-09-07 Josef Spillner- adaptation necessary for "old backend": no /wimd
2013-09-07 Josef Spillner- merge the delta to the previous nodejs branch to...
2013-09-07 Josef Spillner- submodule cleanup
2013-09-07 Josef Spillner- the merge missed the submodule definitions
6 years ago master