diff artifacts/doc/conf/themes/default.xml @ 6960:7aa5ac17d728

Implement ManagedFacet.isSame to determine whether two facets are the same.
author Felix Wolfsteller <felix.wolfsteller@intevation.de>
date Tue, 03 Sep 2013 21:50:23 +0200
parents 225e3a167958
children 04a84a9ab903
line wrap: on
line diff

http://dive4elements.wald.intevation.org