shell: clean up old cruft
authorAmin Bandali <bandali@gnu.org>
Sun, 14 Apr 2019 04:21:05 +0000 (00:21 -0400)
committerAmin Bandali <bandali@gnu.org>
Sun, 14 Apr 2019 04:21:05 +0000 (00:21 -0400)

No differences found