Robin.Mueller 26763b7cee added comparison operator		2020-05-13 11:24:17 +02:00
..
LocalPool.h	it is done :-)	2020-04-23 19:13:18 +02:00
PoolManager.h	Adding Code for Linux	2018-12-19 19:42:00 +01:00
StorageManagerIF.h	added comparison operator	2020-05-13 11:24:17 +02:00