commit | 78adbf4ff75751bc78066f5699e46a3ddad3ece7 | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Jul 24 19:35:00 2003 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Jul 24 19:35:00 2003 +0000 |
tree | e4066cb395f93f671bde98b88c71b162da25996c | |
parent | 398044fa32a923e931bde6fd7cddbac4fcb14834 [diff] |
Moved vg_kerneliface.h from coregrind/ to include/, where it was needed for external skin compilation to work. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1784 a5019735-40e9-0310-863c-91ae7b9d1cf9