cleaned up old directory

[master.git] / ar / assignments / a.tex

diff --git a/ar/assignments/a.tex b/ar/assignments/a.tex
deleted file mode 100644 (file)
index e0ac8a3..0000000
--- a/ar/assignments/a.tex
+++ /dev/null
@@ -1,22 +0,0 @@
-\section{Appendix}
-\begin{lstlisting}[caption={Benchmark system}]
-OS: Linux 3.16.0-4-amd64 #1 SMP Debian 3.16 x86_64 GNU/Linux
-CPU: 3600MHz AMD FX(tm)-4100 Quad-Core Processor
-RAM: 8GB
-\end{lstlisting}
-
-\newpage
-\lstinputlisting[language=lisp,caption={a1.smt},
-       label={listing:a1.smt}]{src/a1.smt}
-
-\newpage
-\lstinputlisting[language=python,caption={a2.py},
-       label={listing:a2.py}]{src/a2.py}
-
-\newpage
-\lstinputlisting[language=python,caption={a3.py},
-       label={listing:a3.py}]{src/a3.py}
-
-\newpage
-\lstinputlisting[language=python,caption={a4.py},
-       label={listing:a4.py}]{src/a4.py}