Marc Zinnschlag 35d099a638 disabling gcc extensions		2012-10-09 17:10:25 +02:00
..
reclists.hpp	disabling gcc extensions	2012-10-09 17:10:25 +02:00
store.cpp	resolving conflicts, minor update	2012-09-17 11:37:50 +04:00
store.hpp	change books to RecListWithIDT	2012-09-25 21:38:34 +02:00