remove some long-unused vestigial bits and pieces
authorAmin Bandali <bandali@gnu.org>
Sun, 16 May 2021 00:39:20 +0000 (20:39 -0400)
committerAmin Bandali <bandali@gnu.org>
Sun, 16 May 2021 00:39:20 +0000 (20:39 -0400)

No differences found