Mercurial > hg > truffle
comparison make/jprt.gmk @ 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 | 109d1d265924 |
| children | fe392af93c23 |
comparison
equal
deleted
inserted
replaced
| 8389:e53b31b29aa4 | 8394:7aefc149c471 |
|---|