about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/doc/uptack.tex2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/doc/uptack.tex b/src/doc/uptack.tex
deleted file mode 100644
index 32158ea5496..00000000000
--- a/src/doc/uptack.tex
+++ /dev/null
@@ -1,2 +0,0 @@
-\usepackage{newunicodechar}
-\newunicodechar⊥{{$\bot$}}