diff leim/CXTERM-DIC/Punct.tit @ 47886:02c982b64945

Minor change.
author Markus Rost <rost@math.uni-bielefeld.de>
date Mon, 14 Oct 2002 22:20:42 +0000
parents 4c1654cc8388
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff