Daniel Martí 06c7bb8286 Remove unused strings
These stopped being used after the search and repo update makeovers.
2016-01-06 18:07:43 +01:00
..
2015-10-06 09:03:11 +02:00
2015-11-13 08:58:06 +03:00
2015-10-21 22:04:52 +03:00
2015-06-15 21:19:14 +02:00
2016-01-06 18:07:43 +01:00