Daniel Martí eb1d21f827 Rename "Maintenance" to "Other"

2013-08-30 14:34:52 +02:00

..

preferences.xml

Rename "Maintenance" to "Other"

2013-08-30 14:34:52 +02:00

searchable.xml

Basic search implemented, just needs a bit of tidying up (e.g. tell you what you searched for)

2011-01-17 17:58:48 +00:00