log

age author description
Tue, 19 Mar 2019 15:43:38 +0000 heinrichsweikamp Merged in janlmulder/ostc4/div-fixes-cleanup-1 (pull request #7)
Tue, 19 Mar 2019 11:42:00 +0100 Jan Mulder cleanup: more trivial cleanup (logbook.c/h) div-fixes-cleanup-1