tree ef734565b9e52b09f9c23aad3dcdbbc44835d93f
parent a73ab637f3437e87f8ee33c0ec68c35c4130283d
author sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> 1403698742 +0000
committer sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> 1403698742 +0000

Remove commented out junk which is never going to get used.
No functional change.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2886 8f6e269a-dfd6-0310-a8e1-e2731360e62c