Merge branch 'VEX' of http://github.com/dyninst/dyninst into VEX
[dyninst.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 2937 buildstamp
-rwxr-xr-x 1544 dynsysname
-rwxr-xr-x 16799 sysname