we now produce PNG's instead of JPEGs as they are even freer and support
authormh <mh>
Tue, 26 Feb 2002 12:26:43 +0000 (12:26 +0000)
committermh <mh>
Tue, 26 Feb 2002 12:26:43 +0000 (12:26 +0000)
commit6adb86ec581e7d4cb5d5f7765b992cc7a4b6f59e
tree520b1677b11b8cb645b892002c78c88381683f39
parenta3a5ca64e2603f0e2475af061e71e67483926d74
we now produce PNG's instead of JPEGs as they are even freer and support
transparency (that was the problem with the GIF's)
source/mir/misc/WebdbImage.java