gnome-mines 3.7.92 ==================== * Renamed desktop file back to gnomine.dekstop * Increase number visibility * Keyboard support * Translations