tree b84df7a72642a29493ac303ed63c7ef2b3b1019d
parent ad70f1940737a2deaa678980056d1ce81811b891
author Thomas Klausner <tk@giga.or.at> 1576664470 +0100
committer Thomas Klausner <tk@giga.or.at> 1576664470 +0100

Remove duplicate empty line.