diff client/digitallibrary/dcMenu.html @ 279:8bcd15b6fa5a

Servlet version 1.22b1 - more fast searching (hopefully all working now) - some simple synchronisation - some reshuffling of methods to eliminate cruft
author robcast
date Fri, 15 Oct 2004 16:59:47 +0200
parents 3a0dc84b976e
children
line wrap: on
line diff