]>
2013-12-26 | David Kastrup | Merge branch 'translation' into staging | blob | commitdiff | raw |
2013-12-20 | David Kastrup | Merge branch 'translation' | blob | commitdiff | raw |
2013-12-19 | Janek Warchoł | unify formatting and indentation | blob | commitdiff | raw |
2013-12-19 | Janek Warchoł | make comments more uniform | blob | commitdiff | raw | diff to current |
2013-12-19 | Janek Warchoł | factor out common inclusions and initializations | blob | commitdiff | raw | diff to current |
2013-12-19 | Janek Warchoł | rename feta-alphabet to feta-alphabet-generic | blob | commitdiff | raw | diff to current |