diff make/Makefile @ 21765:a7a1b9b65bce

Small improvement and clean up of InstanceOfNode.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 07 Jun 2015 00:47:10 +0200
parents b6ee5d3f3255
children 6db6070d30b9
line wrap: on
line diff