diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 02ea1fafab..09e70c86e0 100644 --- a/.gitignore +++ b/.gitignore @@ -112,6 +112,7 @@ stubdom/ocaml-* stubdom/lwip/ stubdom/ioemu/ stubdom/stubdompath.sh +stubdom/vtpm/vtpm_manager.h tools/*/build/lib*/*.py tools/autom4te.cache tools/config.h |