Merge VEX_3_11_BRANCH into VALGRIND_3_11_BRANCHsvn/VALGRIND_3_11_BRANCHsvn/VALGRIND_3_11_0
[valgrind.git] / VEX / 
treeb248a218da60d4e5d38f7871060c37520d4cfaf8
drwxr-xr-x   ..
-rw-r--r-- 176 HACKING.README
-rw-r--r-- 18011 LICENSE.GPL
-rw-r--r-- 996 LICENSE.README
-rw-r--r-- 14054 Makefile-gcc
-rw-r--r-- 1028 TODO.txt
drwxr-xr-x - auxprogs
-rw-r--r-- 430 nanoarm.orig
drwxr-xr-x - orig_amd64
drwxr-xr-x - orig_arm
drwxr-xr-x - orig_ppc32
drwxr-xr-x - orig_x86
drwxr-xr-x - priv
drwxr-xr-x - pub
drwxr-xr-x - switchback
drwxr-xr-x - test
drwxr-xr-x - unused
drwxr-xr-x - useful