Commit e9e7978381a2b3567902420d5ea1539d3c695b31 Parent 8e4eb29210cfefd01ce797e1818df86b3fe2dce6 Author Hiltjo Posthuma <hiltjo@codemadness.org> Date Mon, 17 Apr 2017 16:39:03 +0200 align line numbers to 8 spaces ... now it is done.