diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore (renamed from doc/.cvsignore) | 0 | ||||
-rw-r--r-- | doc/adg/.gitignore (renamed from doc/adg/.cvsignore) | 0 | ||||
-rw-r--r-- | doc/man/.gitignore (renamed from doc/man/.cvsignore) | 0 | ||||
-rw-r--r-- | doc/mwg/.gitignore (renamed from doc/mwg/.cvsignore) | 0 | ||||
-rw-r--r-- | doc/sag/.gitignore (renamed from doc/sag/.cvsignore) | 0 | ||||
-rw-r--r-- | doc/specs/.gitignore (renamed from doc/specs/.cvsignore) | 0 | ||||
-rw-r--r-- | doc/specs/formatter/.gitignore (renamed from doc/specs/formatter/.cvsignore) | 0 |
7 files changed, 0 insertions, 0 deletions
diff --git a/doc/.cvsignore b/doc/.gitignore index 407e0ce1..407e0ce1 100644 --- a/doc/.cvsignore +++ b/doc/.gitignore diff --git a/doc/adg/.cvsignore b/doc/adg/.gitignore index d9b71235..d9b71235 100644 --- a/doc/adg/.cvsignore +++ b/doc/adg/.gitignore diff --git a/doc/man/.cvsignore b/doc/man/.gitignore index 96fa9aba..96fa9aba 100644 --- a/doc/man/.cvsignore +++ b/doc/man/.gitignore diff --git a/doc/mwg/.cvsignore b/doc/mwg/.gitignore index d9b71235..d9b71235 100644 --- a/doc/mwg/.cvsignore +++ b/doc/mwg/.gitignore diff --git a/doc/sag/.cvsignore b/doc/sag/.gitignore index d9b71235..d9b71235 100644 --- a/doc/sag/.cvsignore +++ b/doc/sag/.gitignore diff --git a/doc/specs/.cvsignore b/doc/specs/.gitignore index efaf18a0..efaf18a0 100644 --- a/doc/specs/.cvsignore +++ b/doc/specs/.gitignore diff --git a/doc/specs/formatter/.cvsignore b/doc/specs/formatter/.gitignore index ea34fc5f..ea34fc5f 100644 --- a/doc/specs/formatter/.cvsignore +++ b/doc/specs/formatter/.gitignore |