comparison servlet/src/digilib/io/DocuDirent.java @ 196:8125a068af80

Servlet version 1.18b5 - fix for config file names on non-unix systems
author robcast
date Mon, 08 Dec 2003 16:50:59 +0100
parents f921735dc578
children beed92ee6022
comparison
equal deleted inserted replaced
195:f921735dc578 196:8125a068af80