Mercurial > hg > truffle
diff agent/make/saenv64.sh @ 9012:2979aaac95af
assumptions: enable NoFinalizableSubclass assumption
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Thu, 11 Apr 2013 22:38:53 +0200 |
parents | f6f3bb0ee072 |
children | 4fe850c65ed1 |