Rename dump -> tracedump.
authorJosé Fonseca <jose.r.fonseca@gmail.com>
Fri, 15 Apr 2011 08:34:20 +0000 (09:34 +0100)
committerJosé Fonseca <jose.r.fonseca@gmail.com>
Fri, 15 Apr 2011 08:45:51 +0000 (09:45 +0100)
commite4688f2a2fa7bf93eb46ecf978c0bbfd2fe81a25
treefbca972e21b5507e1331115dff22fa3a7bceb759
parente507979da438eda2c2bbf361c44238ed0891f8fa
Rename dump -> tracedump.

Dump is a too generic name to be, for example, in /usr/bin/.
.gitignore
CMakeLists.txt
README
scripts/tracediff.sh
tracedump.cpp [moved from dump.cpp with 100% similarity]