Changeset 4c1341 in git

Timestamp:

Dec 6, 2013, 1:01:37 PM (9 years ago)

Author:

Jakob Kroeker <kroeker@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')

Children:

ce70e6c75303dccbb031dc5e9e87c5a9cd45aaf8

Parents:

b960f1a8dce04288b07c183de8184dc249aa3dca

Message:

removed empty line

File:

• Singular/LIB/primdec.lib (modified) (1 diff)

Singular/LIB/primdec.lib

@@ -787 +787 @@
           rp=delete(rp,1);
           keep1=keep1+rp;
+
           option(noredSB);
-
         }
         kill RL;