[gnome-tetravex] Don't translate timer labels

[Michael Catanzaro <mcatanzaro src gnome org>]

commit f58596408b5908ed10691cddcf7555cb8eff8e80
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Sep 13 20:40:24 2014 -0500

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

 src/gnome-tetravex.vala |   19 ++-----------------
 1 files changed, 2 insertions(+), 17 deletions(-)
---
diff --git a/src/gnome-tetravex.vala b/src/gnome-tetravex.vala
index c1fc095..075816d 100644
--- a/src/gnome-tetravex.vala
+++ b/src/gnome-tetravex.vala
@@ -296,24 +296,9 @@ public class Tetravex : 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 do not
-             * need to change this. Probably.
-             */
-            clock_label.set_text (_("%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 do not need to change this. Probably.
-             */
-            clock_label.set_text (_("%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 solved_cb (Puzzle puzzle)