diff options
-rw-r--r-- | doc/devel/executive-summary/.cvsignore | 1 | ||||
-rw-r--r-- | help/devel/executive-summary/.cvsignore | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/doc/devel/executive-summary/.cvsignore b/doc/devel/executive-summary/.cvsignore index 955e85ea1d..1d93da7daa 100644 --- a/doc/devel/executive-summary/.cvsignore +++ b/doc/devel/executive-summary/.cvsignore @@ -3,3 +3,4 @@ Makefile.in *-decl.txt *.signals *.hierarchy +sgml diff --git a/help/devel/executive-summary/.cvsignore b/help/devel/executive-summary/.cvsignore index 955e85ea1d..1d93da7daa 100644 --- a/help/devel/executive-summary/.cvsignore +++ b/help/devel/executive-summary/.cvsignore @@ -3,3 +3,4 @@ Makefile.in *-decl.txt *.signals *.hierarchy +sgml |