Daniel Martí 0c1b854b69 Remove "reset" from the preferences page. ...

Currently, removing the cache does the job much better. The only thing
clearing the cache doesn't do which "reset" did is removing the databases. But
we don't want to do that anyway.

If someone wants to do that, they can just deactivate or remove a repo, and it
will get wiped from the database.

2013-07-23 17:02:35 +02:00

..

preferences.xml

Remove "reset" from the preferences page.

2013-07-23 17:02:35 +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