comparison leim/SKK-DIC/README @ 52174:82f6b772872f

Remove obsolete workaround.
author Markus Rost <rost@math.uni-bielefeld.de>
date Mon, 11 Aug 2003 19:19:57 +0000
parents 4c1654cc8388
children 9bd8a8e2f2bc
comparison
equal deleted inserted replaced
52173:087951846e21 52174:82f6b772872f