summaryrefslogtreecommitdiff
path: root/theories/Sorting/intro.tex
diff options
context:
space:
mode:
Diffstat (limited to 'theories/Sorting/intro.tex')
-rw-r--r--theories/Sorting/intro.tex1
1 files changed, 0 insertions, 1 deletions
diff --git a/theories/Sorting/intro.tex b/theories/Sorting/intro.tex
deleted file mode 100644
index 64ae4c88..00000000
--- a/theories/Sorting/intro.tex
+++ /dev/null
@@ -1 +0,0 @@
-\section{Sorting}\label{Sorting}