diff servlet/src/digilib/io/FileOps.java @ 341:d10e4ce2a153

Servlet version 1.5.4b - filenames with dots (brr...) work when given without extension
author robcast
date Wed, 17 Nov 2004 19:30:34 +0100
parents d3abaf38fb5f
children b3519a49ae51
line wrap: on
line diff