summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6ca8c7ea85..942f849ef2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -49,6 +49,7 @@ y.tab.c
/config.status
/config.status.lineno
/configure
+/dmyprobes.h
/doc/capi
/enc.mk
/encdb.h