tree 596772b87851b1700853c775a135bd58bfc77de4
parent c025b258cbc20a2a27aec96caf4ef18f2513327c
author Thomas Klausner <tk@giga.or.at> 1595849617 +0200
committer Thomas Klausner <tk@giga.or.at> 1595849617 +0200

Remove unneeded declarations.