tree f320b1af5830a184dc24543e335be6dbdd83f8fd
parent a30545069556d3dca4ca3feb7c621bdcb7b34107
author njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1122419178 +0000
committer njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1122419178 +0000

Vex headers should be installed in $INST/include/valgrind/, too.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4274 a5019735-40e9-0310-863c-91ae7b9d1cf9