Cleaned up, removed global File handle
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 27 Jul 2004 14:01:59 +0000 (14:01 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 27 Jul 2004 14:01:59 +0000 (14:01 +0000)
[r3622]


No differences found