| Sun, 07 Apr 2019 22:57:58 +0200 | Wuzzy | Fix coloring of mine timers | file | diff | annotate |
| Sun, 07 Apr 2019 22:43:45 +0200 | Wuzzy | Add support for decimal point of displayed mine timer | file | diff | annotate |
| Sun, 07 Apr 2019 20:01:02 +0200 | Wuzzy | Don't explose mine timer in game if random (using Karma value) | file | diff | annotate |