diff client/digitallibrary/navigation_o6.js @ 58:2d8ed5252eb0

Made web.xml nicer. (ROC)
author robcast
date Tue, 27 Aug 2002 13:28:46 +0200
parents 866e798e2bef
children
line wrap: on
line diff