From 3e345191418230f1aa5b5f4cac9e5bf24e3572e4 Mon Sep 17 00:00:00 2001 From: Robin Kruppe Date: Sat, 13 Feb 2016 20:27:57 +0100 Subject: [PATCH] Remove the last remaining .tex file --- src/doc/uptack.tex | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 src/doc/uptack.tex diff --git a/src/doc/uptack.tex b/src/doc/uptack.tex deleted file mode 100644 index 32158ea549627..0000000000000 --- a/src/doc/uptack.tex +++ /dev/null @@ -1,2 +0,0 @@ -\usepackage{newunicodechar} -\newunicodechar⊥{{$\bot$}}