diff -r bd9eb959dbce -r ae23e2d63936 9ms/graphic.sty
--- a/9ms/graphic.sty	Sun Jun 30 19:54:04 2019 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-\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}