Singular/Sources — pull request #555 by steenpass (2014-03-26 13:18:58+00:00)
Title: add: modular.lib

(cherry picked from commit 4033c6b71b5bdc43798b4183c90512f5d4871308)

Signed-off-by: Andreas Steenpass

Conflicts:
Singular/singular-libs