diff servlet/src/digilib/io/FileOps.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 b3f9a7f646c5
children bb4ed821d06e
line wrap: on
line diff