David Given 64ae1d7583 Move time() into sys; change the name of the variable which controls it.		2018-06-23 19:40:50 +02:00
..
config.h	Move time() into sys; change the name of the variable which controls it.	2018-06-23 19:40:50 +02:00