From b56fedc0aefefb86fa8fe82135e219f4e2fddb6c Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Mon, 3 Aug 2020 13:32:20 +0530 Subject: cleanup --- articles/ui/.gitignore | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 articles/ui/.gitignore (limited to 'articles/ui/.gitignore') diff --git a/articles/ui/.gitignore b/articles/ui/.gitignore deleted file mode 100644 index 9679a9a8b..000000000 --- a/articles/ui/.gitignore +++ /dev/null @@ -1,7 +0,0 @@ -*.bbl -*.blg -*.fls -*.fdb_latexmk -*.aux -*.log -*.pdf -- cgit v1.2.3