source: git/factory/bin/makeheader.pl

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @273838   27 years schmidt o makeheader.pl reads new format now git-svn-id: ... fieker-DuValspielwiese
(add) @d848113   27 years schmidt Initial revision git-svn-id: file:///usr/local/Singular/svn/trunk@57 ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.