diff flys-artifacts/doc/conf/themes/default/general.xml @ 5212:14186e924534

Fix opt path if OPTIONAL_LIBS is not set
author Andre Heinecke <aheinecke@intevation.de>
date Mon, 11 Mar 2013 10:12:55 +0100
parents a8d8ea1f2a5c
children a5d4904e6bb2
line wrap: on
line diff

http://dive4elements.wald.intevation.org