
diff -r a28f1d5daa34 -r 1a92233763bd 9ms/graphic.sty
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/9ms/graphic.sty	Sat Jun 29 12:28:49 2019 +0100
@@ -0,0 +1,12 @@
+\usepackage{tikz}
+%\usepackage{pgf}
+%\usetikzlibrary{positioning}
+%\usetikzlibrary{calc}
+%\usetikzlibrary{automata}
+%\usetikzlibrary{arrows}
+%\usetikzlibrary{backgrounds}
+%\usetikzlibrary{fit}
+%\usepackage{tikz-qtree}
+\usepackage{pgfplots}
+
+%\pgfplotsset{compat=1.15}




