diff leim/MISC-DIC/ziranma.cin @ 47342:5bdc7af4b905

Fix typo. Add comment.
author Markus Rost <rost@math.uni-bielefeld.de>
date Mon, 09 Sep 2002 21:37:11 +0000
parents e4222f28447b
children dbe9551cf498
line wrap: on
line diff