Merge remote-tracking branch 'origin/feature/dev-guide-draft-mk' into Current-Draft

20aed5b8 · Spencer Sherwin · 25695881 · 18662884 · 20aed5b8 · 20aed5b8
Commit 20aed5b8 authored Jan 16, 2018 by Spencer Sherwin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

developers-guide.tex developers-guide.tex +1 -1

introduction/img/stdtolocal.pdf introduction/img/stdtolocal.pdf +0 -0

No files found.
--- a/developers-guide.tex
+++ b/developers-guide.tex
@@ -39,7 +39,7 @@
 %
 \input{introduction/introduction.tex}
 %
-\input{prelims/prelims.tex}
+%\input{prelims/prelims.tex}
 %
 \input{library/library-master.tex}


--- a/introduction/img/stdtolocal.pdf
+++ b/introduction/img/stdtolocal.pdf