Reverting because unintended things got commited
authorNikhil Jain <nikhil@illinois.edu>
Thu, 1 Nov 2012 02:59:14 +0000 (21:59 -0500)
committerNikhil Jain <nikhil@illinois.edu>
Thu, 1 Nov 2012 02:59:14 +0000 (21:59 -0500)
commitc3719c221744dcb7d551ec6b735a12ddc2dd0525
tree1de45f1381929bb24b9dc9f03005d6fbeaa4cfcf
parent16da6ea38068b2a3d92d28116cbb36637755d2d0
Reverting because unintended things got commited
Revert "Correction in previous commit"

This reverts commit 16da6ea38068b2a3d92d28116cbb36637755d2d0.
doc/charm++/checkpoint.tex