Mercurial > hg > truffle
diff make/linux/makefiles/optimized.make @ 8394:7aefc149c471
allow multiple identities in MemoryCheckpoint interface
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Wed, 20 Mar 2013 11:30:17 +0100 |
parents | 892acf0431ef |
children | 5eee9a9aeb7a |