diff --git a/Doc/info/.cvsignore b/Doc/info/.cvsignore new file mode 100644 index 00000000000..e8db0b5b88f --- /dev/null +++ b/Doc/info/.cvsignore @@ -0,0 +1,2 @@ +*.info* +*.texi