diff options
| -rw-r--r-- | Doc/ref/.cvsignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/ref/.cvsignore b/Doc/ref/.cvsignore index 27dfbdae11..0803136be6 100644 --- a/Doc/ref/.cvsignore +++ b/Doc/ref/.cvsignore @@ -1,2 +1,5 @@ *.backup *.lck +*.MIF +*.ps +*.auto |