]> git.pond.sub.org Git - empserver/commit
Correct info on mining harbors. Closes #827442.
authorMarkus Armbruster <armbru@pond.sub.org>
Fri, 6 Feb 2004 22:31:05 +0000 (22:31 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Fri, 6 Feb 2004 22:31:05 +0000 (22:31 +0000)
commit1d872f80e0d7e175164324d280fcc762ad7cb46b
tree6e9c2e526589b7c018f521f8e2c4421dd6e0dadc
parent5d79233b2437044c66d944fd0d7bf0b549d732d2
Correct info on mining harbors.  Closes #827442.
info/Commands/mine.t