diff options
Diffstat (limited to 'gp11/reference/.gitignore')
-rw-r--r-- | gp11/reference/.gitignore | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gp11/reference/.gitignore b/gp11/reference/.gitignore deleted file mode 100644 index f00506eb..00000000 --- a/gp11/reference/.gitignore +++ /dev/null @@ -1,17 +0,0 @@ -/.* -/*.bak -/Makefile -/Makefile.in -/gp11.args -/gp11.hierarchy -/gp11.interfaces -/gp11.prerequisites -/gp11.signals -/gp11-decl.txt -/gp11-decl-list.txt -/gp11-overrides.txt -/gp11-undocumented.txt -/gp11-unused.txt -/*.stamp -/xml -/html |