share details
authorMart Lubbers <mart@martlubbers.net>
Fri, 16 Jun 2017 17:33:20 +0000 (19:33 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 16 Jun 2017 17:33:20 +0000 (19:33 +0200)
commitf51f8bb08edd8fb7cd0be5ba3955ad9e27cfdbe1
treefcc74cb8b2935c41b8225ca9d2df898caa642cd1
parent2a4d91380ae0d2a7dfac58b8d5194d57d61af3ae
share details
results.itasks.tex