diff make/Makefile @ 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 ed3fa3ae7b61
children a7d3f7b5b462
line wrap: on
line diff