Changeset 52005b in git


Ignore:
Timestamp:
Jan 12, 2005, 2:19:12 PM (19 years ago)
Author:
Michael Brickenstein <bricken@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
ec4fe368ecd8f8d1b9f4d4dd5c2eed36ac1efdfb
Parents:
710c4713875ebc97109ef85f058babed7c727e74
Message:
+ version correction


git-svn-id: file:///usr/local/Singular/svn/trunk@7649 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/flexer.sh

    r710c47 r52005b  
    1616    if [ $MIDV -eq 5 ];
    1717        then
    18         if [ $TV -le 3 ];
     18        if [ $TV -le 4 ];
    1919            then goodversion=true;
    2020        fi
Note: See TracChangeset for help on using the changeset viewer.