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

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