Gioacchino Mazzurco 329050a9c2 Use safer rstime_t instead of time_t ... Avoid problems to serialization on different platforms, without breaking nested STL containers serialization. The conversion have been made with sed, and checked with grep, plus kdiff3 visual ispection, plus rutime tests, so it should be fine.		2018-10-07 13:07:06 +02:00
..
src	Use safer rstime_t instead of time_t	2018-10-07 13:07:06 +02:00