comparison servlet/src/digilib/util/OptionsSet.java @ 591:a667d2952aab

small fix to dirInfo-xml.jsp and old digicat.jsp
author robcast
date Thu, 06 Jan 2011 20:51:58 +0100
parents 0885f5ca5b24
children
comparison
equal deleted inserted replaced
584:3af19d51dd7e 591:a667d2952aab