From 69daf158fe83e49d420e97fc5bbf91f32798585a Mon Sep 17 00:00:00 2001 From: jaseg Date: Mon, 15 Mar 2021 11:25:49 +0100 Subject: Repo re-org: rename paper dir --- doc/paper/.gitignore | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 doc/paper/.gitignore (limited to 'doc/paper/.gitignore') diff --git a/doc/paper/.gitignore b/doc/paper/.gitignore new file mode 100644 index 0000000..c49262e --- /dev/null +++ b/doc/paper/.gitignore @@ -0,0 +1,10 @@ +*.out +*.bbl +*.aux +*.toc +*.blg +*.bcf +*.log +*.run.xml + +version.tex -- cgit