Commit [9c306f] default Maximize Restore History

Backtrack fixes

git-svn-id: svn+ssh://keith.cs.st-and.ac.uk/mnt/raid/svn/repositories/minion-private/public/trunk@483 477b24dd-e91e-0410-aa49-980f3df0729b

Chris Jefferson Chris Jefferson 2008-01-16

changed minion/memory_management/backtrackable_memory.h
minion/memory_management/backtrackable_memory.h Diff Switch to side-by-side view
Loading...