Merge branch 'paxed-xlogfile'

2015-03-18 18:57:52 +02:00
parent c80828fe7a f8aced5480
commit 27add21e7e
19 changed files with 189 additions and 4 deletions
--- a/include/extern.h
+++ b/include/extern.h
@@ -26,6 +26,7 @@ E void NDECL(stop_occupation);
 E void NDECL(display_gamewindows);
 E void NDECL(newgame);
 E void FDECL(welcome, (BOOLEAN_P));
+E time_t NDECL(get_realtime);

 /* ### apply.c ### */