commit 7fff4499fd915bcea3fa93b1aa8b35f4fe7a6027 parent 963b7a41feb29cc4be090a2446bdfe0c1f1bcd81 Author: Florian Dold <florian.dold@gmail.com> Date: Sun, 28 May 2017 00:38:50 +0200 add linting (and some initial fixes) Diff is too large, output suppressed.
