Changeset 4c1341 in git
- Timestamp:
- Dec 6, 2013, 1:01:37 PM (9 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')
- Children:
- ce70e6c75303dccbb031dc5e9e87c5a9cd45aaf8
- Parents:
- b960f1a8dce04288b07c183de8184dc249aa3dca
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/primdec.lib
rb960f1 r4c1341 787 787 rp=delete(rp,1); 788 788 keep1=keep1+rp; 789 789 790 option(noredSB); 790 791 791 } 792 792 kill RL;
Note: See TracChangeset
for help on using the changeset viewer.