Mercurial > dive4elements > river
diff artifacts/src/main/java/org/dive4elements/river/artifacts/CollectionMonitor.java @ 7593:60a5fc522ec4
Rename the Global Facet filter to reduce ambiguity with the old facet filter
author | Andre Heinecke <aheinecke@intevation.de> |
---|---|
date | Thu, 21 Nov 2013 15:37:43 +0100 |
parents | f8e1af4e2f69 |
children | 5e38e2924c07 |