ostc4: revision graph

graph

less more | rev 177: (0) -100 -30 -10 -4 +4 +10 +30 +100 +300 tip

Merged in janlmulder/ostc4/max-depth (pull request #3)
Tue, 12 Mar 2019 15:04:19 +0000, by heinrichsweikamp
cleanup: do not assign to same max-depth
Mon, 11 Mar 2019 20:20:17 +0100, by Jan Mulder
cleanup: remove unused code max-depth
Mon, 11 Mar 2019 19:57:51 +0100, by Jan Mulder
Bugfix: make max depth move with current depth (part 2) max-depth
Mon, 11 Mar 2019 19:54:20 +0100, by Jan Mulder

less more | rev 177: (0) -100 -30 -10 -4 +4 +10 +30 +100 +300 tip