view visualizer/Settings/nbproject/suite.properties @ 9647:2adfe940fd55

Make PiNode a guarding node so that it can be used for guarded to guarding edges PiNode should work for non-object values
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 13 May 2013 11:44:49 +0200
parents 35cca763f498
children
line wrap: on
line source

suite.dir=${basedir}/..