Martin Brodbeck 10b5cab5a4 new name for db		2018-07-18 15:08:20 +02:00
..
core	new name for db	2018-07-18 15:08:20 +02:00
gui	Now we can decide to make only-delete-changes in the db	2018-07-18 14:36:53 +02:00
CMakeLists.txt	subdir added	2018-07-06 10:53:49 +02:00