5873
5873
#: ../gnome-sudoku/src/lib/timer.py:12
5880
5880
#: ../gnome-sudoku/src/lib/timer.py:14
5887
5887
#: ../gnome-sudoku/src/lib/timer.py:16
5894
5894
#: ../gnome-sudoku/src/lib/timer.py:18
5901
5901
#: ../gnome-sudoku/src/lib/timer.py:20
5908
5908
#: ../gnome-sudoku/src/lib/timer.py:22
5915
5915
#: ../gnome-sudoku/src/lib/timer.py:24
5922
5922
#. Translators... this is a messay way of concatenating
5923
5923
#. lists. In English we do lists this way: 1, 2, 3, 4, 5