Daniel Martí 98a333b7fa "Other" should be the last preferences category

2014-06-19 10:20:01 +02:00

..

preferences.xml

"Other" should be the last preferences category

2014-06-19 10:20:01 +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