Daniel Martí 1b6a643b9c Start doing checkbox preferences with on/off summaries

2013-12-31 21:59:46 +01:00

..

preferences.xml

Start doing checkbox preferences with on/off summaries

2013-12-31 21:59:46 +01: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