Gioacchino Mazzurco ddf3164545 Fix ctime(&rstime_t) error on windows ... rstime_t not neccesary in those cases so use plain time_t instead		2018-10-07 14:41:13 +02:00
..
src	Fix ctime(&rstime_t) error on windows	2018-10-07 14:41:13 +02:00