| Thu, 06 Dec 2012 09:48:45 +0100 | gibus | New fonts. | file | diff | annotate |
| Thu, 19 Aug 2010 13:19:24 +0200 | raph | use fixed table size for comparing versions | file | diff | annotate |
| Fri, 16 Apr 2010 10:34:54 +0200 | raph | cleanup diff for human reading | file | diff | annotate |