retire long obsolete file removals
authorPeter Palfrader <peter@palfrader.org>
Tue, 10 Sep 2019 20:49:30 +0000 (22:49 +0200)
committerPeter Palfrader <peter@palfrader.org>
Tue, 10 Sep 2019 20:49:30 +0000 (22:49 +0200)

No differences found