commit | 063c54088d4b96202ccc0552ac9f3a57a1c5debd | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Nov 22 16:58:05 2004 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Nov 22 16:58:05 2004 +0000 |
tree | 716ec92f10880371bb1baddd305efe90c6773f1a | |
parent | 95ec870848b73e0f90758f94f2c3e62e5c3cccef [diff] |
Changed name of tool shared objects from vgskin_XXX.so to vgtool_XXX.so. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3054 a5019735-40e9-0310-863c-91ae7b9d1cf9