Singular/Sources — pull request #618 by mmklee (2014-07-17 11:35:25+00:00)
Title: Alg prune

viewLog.html?buildId=13155&tab=buildResultsDiv&buildTypeId=bt7