Completed
Push — master ( 16d393...b8b112 )
by Sebastian
04:40
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A Beams::writeError() added
A RuleBook::getOutput() added
A RuleBook::formatProblem() added
A IOUtil::getLineSeparator() added