Remove some vestigial stuff
authorAmin Bandali <bandali@gnu.org>
Tue, 6 Oct 2020 18:49:08 +0000 (14:49 -0400)
committerAmin Bandali <bandali@gnu.org>
Tue, 6 Oct 2020 18:49:08 +0000 (14:49 -0400)

No differences found