[Widelands-public] Mining area

[<Si...@gm...>]

Hi,

Please look here:
http://sourceforge.net/tracker/index.php?func=detail&aid=1092984&group_id=40163&atid=427224

Personally, i like to close this, since i consider it part of the
gameplay to check how far mines can mine. And having to recheck from
time to time since it is difficult to count.

What do others think?

greetings,
Holger