From 9a05446cafc67f4419467b3f2bf040db0b7ebc47 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Sat, 8 Aug 2020 12:56:48 +0100 Subject: [PATCH] .gitignore: Yes, I should have one of these. --- .gitignore | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..21e7882 --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +*.aux +*.dvi +*.log +*.pdf +*.ps + + + -- 2.11.0