]> git.pond.sub.org Git - empserver/commit
info: Drop outdated bug report instructions
authorMarkus Armbruster <armbru@pond.sub.org>
Fri, 11 Aug 2017 17:04:12 +0000 (19:04 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 12 Aug 2017 06:07:44 +0000 (08:07 +0200)
commit9f78fc8634e3c9abcdcbc8aec67963774d15ae75
treed6050a608b6d59656e9a70906a5ce70755c9d432
parent8637ef93b3bbb8fe9e6aef26ed64f01e52a03e61
info: Drop outdated bug report instructions

Ken Stevens stopped maintaining Empire many years ago, but "info
Empire2" and "info Empire3" still direct users to him.  Drop that.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
info/Empire2.t
info/Empire3.t