Changeset aa7c1c2 in git for Singular/misc_ip.cc


Ignore:
Timestamp:
Jun 14, 2018, 1:08:24 PM (6 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
8c73fdea988c87d699605750b3180fa69edf5d10
Parents:
a718906498691a0860e186cfee5db4fc1142ccd6db48f3ea705fcb451c2ea640a2b72f643bae2f22
Message:
Merge branch 'spielwiese' into letterplace_kernel_multiplication
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/misc_ip.cc

    ra718906 raa7c1c2  
    807807#endif
    808808#ifdef HAVE_NTL
    809 #include <NTL/version.h>
    810809              StringAppend("NTL(%s),",NTL_VERSION);
    811810#endif
Note: See TracChangeset for help on using the changeset viewer.