From 870521e698f42a626844e2f5cbeab37a3eeeab4a Mon Sep 17 00:00:00 2001 From: jaseg Date: Thu, 8 Apr 2021 14:06:57 +0200 Subject: Repo re-org: move doc/paper to top level --- doc/paper/.gitignore | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 doc/paper/.gitignore (limited to 'doc/paper/.gitignore') diff --git a/doc/paper/.gitignore b/doc/paper/.gitignore deleted file mode 100644 index c49262e..0000000 --- a/doc/paper/.gitignore +++ /dev/null @@ -1,10 +0,0 @@ -*.out -*.bbl -*.aux -*.toc -*.blg -*.bcf -*.log -*.run.xml - -version.tex -- cgit