doc: delete mention of CkTimer and CkCpuTimer from manual
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 31 Jul 2012 19:58:52 +0000 (14:58 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 31 Jul 2012 19:58:52 +0000 (14:58 -0500)
commite13578b6c8f0e6a70a47f69114d1f9125ae5af88
tree9c65a2a640d4c167a5d4a2522ea861371d11c6fa
parent3c29a13e8dfd3e56f7656e8418fd043da7e7cd53
doc: delete mention of CkTimer and CkCpuTimer from manual
doc/charm++/othercalls.tex