log

age author description
Wed, 13 Mar 2019 20:51:50 +0100 heinrichsweikamp Minor: Replace stupid "Sleep Sleep Sleep" message with something more meaningful
Tue, 12 Mar 2019 15:04:19 +0000 heinrichsweikamp Merged in janlmulder/ostc4/max-depth (pull request #3)
Mon, 11 Mar 2019 20:20:17 +0100 Jan Mulder cleanup: do not assign to same max-depth
Mon, 11 Mar 2019 19:57:51 +0100 Jan Mulder cleanup: remove unused code max-depth
Mon, 11 Mar 2019 19:54:20 +0100 Jan Mulder Bugfix: make max depth move with current depth (part 2) max-depth
Mon, 11 Mar 2019 19:48:57 +0100 Jan Mulder Bugfix: make max depth move with current depth (part 1) max-depth