diff make/templates/gpl-cp-header @ 15244:a7d08ab4842f

make MergeNode.simplify work with a null SimplifierTool
author Lukas Stadler <lukas.stadler@oracle.com>
date Thu, 17 Apr 2014 11:32:26 +0200
parents b2045e0af26e
children
line wrap: on
line diff