diff --git a/.gitignore b/.gitignore index fa9d2e3b95..14e11ad492 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,3 @@ .DS_Store *.bak TAGS - -# to avoid committing it by accident, since we can't distribute it -/collects/scribble/lncs/llncs.cls diff --git a/collects/scribble/lncs/.gitignore b/collects/scribble/lncs/.gitignore new file mode 100644 index 0000000000..6c77022ded --- /dev/null +++ b/collects/scribble/lncs/.gitignore @@ -0,0 +1,2 @@ +# to avoid committing it by accident, since we can't distribute it +/llncs.cls