diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/devel/executive-summary/.cvsignore | 1 |
1 files changed, 1 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 |