[m-rev.] diff: Add a generated file to robdd/.gitignore.

[Paul Bone]

Branches: master

---

Add a generated file to robdd/.gitignore.

robdd/.gitignore:
    As above.
---
 robdd/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/robdd/.gitignore b/robdd/.gitignore
index 3ad9e78..8e89257 100644
--- a/robdd/.gitignore
+++ b/robdd/.gitignore
@@ -1,2 +1,3 @@
 *.o
 *.pic_o
+robdd_conf.h
-- 
2.1.4