quiet some unnecessary logging and remove some unused stuff
authormh <mh>
Mon, 23 Dec 2002 03:18:02 +0000 (03:18 +0000)
committermh <mh>
Mon, 23 Dec 2002 03:18:02 +0000 (03:18 +0000)
commit31fb6ae5e3e2fdf802c846dea930f7c80e426cdf
tree47e18ef0d15fc76d25946093774ff4407b229033
parent664ecfbf6fee4e39efe7092e52c3d52dade0d3f8
quiet some unnecessary logging and remove some unused stuff
source/mir/storage/Database.java