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-04 08:14:48 -07:00
2016-01-06 18:07:43 +01:00
2016-01-04 11:03:00 +01:00
2016-01-05 21:18:44 +01:00
2015-12-29 12:27:15 +01:00