chiark / gitweb /
Sanitise page names for wiki a bit more
authorCiaran Gultnieks <ciaran@ciarang.com>
Sat, 15 Jun 2013 21:02:59 +0000 (22:02 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sat, 15 Jun 2013 21:02:59 +0000 (22:02 +0100)
commit628436e2122f77c8a08ad2fba292ca8dfe703218
tree3ce2243280074d8ad262015fb705911e04be8168
parentffdc92bd96e70a67ed084cb35fec9c77c7a8df16
Sanitise page names for wiki a bit more
fdroidserver/update.py