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
2013-07-08 17:27:49 +01:00
2012-08-25 09:54:35 +01:00
2013-06-30 22:34:42 +02:00
2010-10-19 23:24:04 +01:00
2012-08-17 16:49:15 +01:00
2012-08-17 16:48:00 +01:00
2013-04-12 14:45:48 +01:00
2011-01-20 23:34:29 +00:00
Description
No description provided
GPL-3.0 46 MiB
Languages
Java 98.5%
Shell 0.6%
Python 0.6%
AIDL 0.2%
HTML 0.1%