Changeset 4c1341 in git


Ignore:
Timestamp:
Dec 6, 2013, 1:01:37 PM (9 years ago)
Author:
Jakob Kroeker <kroeker@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '48f1dd268d0ff74ef2f7dccbf02545425002ddcc')
Children:
ce70e6c75303dccbb031dc5e9e87c5a9cd45aaf8
Parents:
b960f1a8dce04288b07c183de8184dc249aa3dca
Message:
removed empty line
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/primdec.lib

    rb960f1 r4c1341  
    787787          rp=delete(rp,1);
    788788          keep1=keep1+rp;
     789
    789790          option(noredSB);
    790 
    791791        }
    792792        kill RL;
Note: See TracChangeset for help on using the changeset viewer.