| Tue, 14 May 2019 21:36:50 +0300 | alfadur | make rope styleable | file | diff | annotate |
| Tue, 30 Apr 2019 18:25:04 +0200 | Wuzzy | Refactor decimal separator to make Pas2C happy | file | diff | annotate |
| Sat, 27 Apr 2019 13:51:02 +0200 | Wuzzy | Move Hedgewars key IDs to CSV file | file | diff | annotate |