Commit graph

2 commits

Author SHA1 Message Date
Daniel Martí
a33fddce07 Fix makebuildserver after rename, tidy gitignores 2013-12-30 17:18:45 +01:00
Ciaran Gultnieks
9ca42ec9f4 Manual in lots of formats 2012-02-25 08:30:43 +00:00