]> matita.cs.unibo.it Git - helm.git/history - helm/cgi/mkheader.pl
- better test for content-length header existence (now case insensitive)
[helm.git] / helm / cgi / mkheader.pl
2001-03-06 Claudio Sacerdoti... library3 ==> javascript
2001-03-06 Claudio Sacerdoti... New on-line interface