diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..7937acece6f48f4717b1ca11586e402ac453b93c --- /dev/null +++ b/.gitignore @@ -0,0 +1,15 @@ +docs/cmu-user/*.aux +docs/cmu-user/*.cdx +docs/cmu-user/*.cnd +docs/cmu-user/*.fdx +docs/cmu-user/*.fnd +docs/cmu-user/*.idx +docs/cmu-user/*.tdx +docs/cmu-user/*.tnd +docs/cmu-user/*.toc +docs/cmu-user/*.vdx +docs/cmu-user/*.vnd +docs/cmu-user/*.ilg +docs/cmu-user/*.out +docs/cmu-user/*.pdf +docs/cmu-user/*.log