diff etc/TUTORIAL.pl @ 48334:89f1b9ff174d

(custom-declare-group): Remove unnecessary line of code.
author Markus Rost <rost@math.uni-bielefeld.de>
date Thu, 14 Nov 2002 21:37:10 +0000
parents e7e9b4581430
children b027da192726
line wrap: on
line diff