Remove unneeded code.
authorEric S. Raymond <esr@thyrsus.com>
Thu, 15 Nov 2018 00:08:55 +0000 (19:08 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Thu, 15 Nov 2018 00:08:55 +0000 (19:08 -0500)

No differences found