[gnome-mahjongg] Don't translate timer labels

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 54b8f64905a294145f1b7f9b9a90601dfdec13c8
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Sep 13 20:39:54 2014 -0500

    Don't translate timer labels
    
    https://mail.gnome.org/archives/gnome-i18n/2014-September/msg00052.html

 src/gnome-mahjongg.vala |   20 ++------------------
 1 files changed, 2 insertions(+), 18 deletions(-)
---
diff --git a/src/gnome-mahjongg.vala b/src/gnome-mahjongg.vala
index dbe06fd..9ce840b 100644
--- a/src/gnome-mahjongg.vala
+++ b/src/gnome-mahjongg.vala
@@ -746,25 +746,9 @@ public class Mahjongg : Gtk.Application
         var minutes = (elapsed - hours * 3600) / 60;
         var seconds = elapsed - hours * 3600 - minutes * 60;
         if (hours > 0)
-        {
-            /* Translators: sorry. This is the clock label when the game has exceeded
-             * one hour in length. The first %02d is hours, the middle %02d is minutes,
-             * and the last is seconds. In between are ratio characters and LTR order
-             * marks, so that nothing gets reversed in RTL languages. You probably only
-             * need to change the English on the left. Probably.
-             */
-            clock_label.set_text (_("Time: 
%02d\xE2\x88\xB6\xE2\x80\x8E%02d\xE2\x88\xB6\xE2\x80\x8E%02d").printf (hours, minutes, seconds));
-        }
+            clock_label.set_text ("%02d∶\xE2\x80\x8E%02d∶\xE2\x80\x8E%02d".printf (hours, minutes, seconds));
         else
-        {
-            /* Translators: sorry. This is the clock label when the game is less than
-             * one hour in length. The first %02d is minutes and the last is seconds.
-             * In between is a ratio character and LTR order mark, so that nothing gets
-             * reversed in RTL languages. You probably only need to change the English
-             * on the left. Probably.
-             */
-            clock_label.set_text (_("Time: %02d\xE2\x88\xB6\xE2\x80\x8E%02d").printf (minutes, seconds));
-        }
+            clock_label.set_text ("%02d∶\xE2\x80\x8E%02d".printf (minutes, seconds));
     }
 
     private void help_cb ()