diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 8e539b42b6..3253675e24 100644 --- a/.gitignore +++ b/.gitignore @@ -356,6 +356,7 @@ tools/include/xen-foreign/arm64.h .git tools/misc/xen-hptool +tools/misc/xen-mfndump tools/libxl/_*.[ch] tools/libxl/testidl tools/libxl/testidl.c |