Mercurial > hg > truffle
diff make/linux/platform_ia64 @ 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 | a294fd0c4b38 |
children |