Erik Johnston 5e50058473 Remove unused indices
This includes removing both unused indices and indices that are subsets
of other indices.
2016-05-13 13:28:07 +01:00
..
2016-05-10 16:42:37 +01:00
2016-05-10 16:42:37 +01:00
2016-05-13 13:28:07 +01:00
2016-05-04 16:51:51 +01:00