gnome-mines 3.7.92
====================

* Renamed desktop file back to gnomine.dekstop
* Increase number visibility
* Keyboard support
* Translations