Mercurial > hg > truffle
diff hotspot/.settings/org.eclipse.cdt.ui.prefs @ 19383:669f746ad3b1
Truffle graph builder plugin isValid should only record assumption is true.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Sun, 15 Feb 2015 16:54:22 +0100 |
parents | 694c38d4b6d8 |
children |