Mercurial > public > ostc4
log
age | author | description |
---|---|---|
Mon, 01 Apr 2019 19:19:04 +0000 | heinrichsweikamp | Merged in janlmulder/ostc4/div-fixes-3 (pull request #13) |
Mon, 01 Apr 2019 15:50:41 +0200 | Jan Mulder | cleanup: random set of cleanups div-fixes-3 |
Sun, 31 Mar 2019 19:35:51 +0200 | Jan Mulder | Bugfix, deco: fix 2 (small) problems with calculated ceiling div-fixes-3 |