bugfix
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 14 Aug 2003 08:30:35 +0000 (08:30 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 14 Aug 2003 08:30:35 +0000 (08:30 +0000)
commit46440a630a54a7d0004a7f7498e83b1d95dc526d
treed41205db754d5062c41a3e5b456662cdd158a537
parentde7982b842a22c312eac569e2b2fe3af2b3d3244
bugfix

[r1677]
Makefile.in