From: pimjager <pim@pimjager.nl>
Date: Thu, 9 Jun 2016 16:41:09 +0000 (+0200)
Subject: Merge branch 'master' of https://github.com/dopefishh/cc1516
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=5c3599bdbab8e6a7c4a7d8b66f82ca54d64a0765;p=cc1516.git

Merge branch 'master' of https://github.com/dopefishh/cc1516
---

5c3599bdbab8e6a7c4a7d8b66f82ca54d64a0765
diff --cc deliverables/report/report.tex
index efd98e0,ce6f41c..248bcb2
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@@ -18,11 -17,9 +18,12 @@@
  }
  
  \newcommand{\SPLC}{\texttt{SPLC}}
 -\newcommand{\SPL}{\texttt{SPLC}}
 -\newcommand{\SSM}{\texttt{SPLC}}
 +\newcommand{\SPL}{\texttt{SPL}}
 +\newcommand{\SSM}{\texttt{SSM}}
+ \newcommand{\Yard}{\textsc{Yard}}
 +\def\AST/{\texttt{AST}}
 +
 +\let\tt\texttt
  
  \begin{document}
  \maketitle