From 20fcd3b332295e101c36f3e0f431822f64d31dcc Mon Sep 17 00:00:00 2001 From: =?utf8?q?Mark=20Jason=20Dominus=20=28=E9=99=B6=E6=95=8F=E4=BF=AE=29?= Date: Thu, 13 Feb 2020 14:31:02 -0500 Subject: [PATCH] ignore more products --- doc/.gitignore | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 doc/.gitignore diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 000000000..75c2a7888 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,6 @@ +*.aux +*.bbl +*.blg +*.log +*.pdf +*.ps -- 2.40.0