Remove obsolete doc/gpl.html
authorFabian Keil <fk@fabiankeil.de>
Wed, 9 Dec 2020 18:40:05 +0000 (19:40 +0100)
committerFabian Keil <fk@fabiankeil.de>
Fri, 11 Dec 2020 06:37:38 +0000 (07:37 +0100)
commit44e8cc1562d7079364b2b91ed1a962d68c72c7ca
treec32ed496d22e3aad7241df42a2df266453b25e6d
parent88e23798717ebccf1a5983ed3aaa96865943c2f7
Remove obsolete doc/gpl.html
doc/gpl.html [deleted file]