From 9e605d2e3ce9115f8d2bb0bb2bdc56bb6ce4b35a Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 15 Jan 2021 00:46:29 +0000 Subject: [PATCH] Removed fixme. --- .../2018-cicm-isabelle_dof-applications/document/preamble.tex | 1 - 1 file changed, 1 deletion(-) diff --git a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex index 1cccaa2..b52751b 100755 --- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex +++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex @@ -22,7 +22,6 @@ \usepackage{listings} \usepackage{lstisadof} \usepackage{xspace} -\usepackage[draft]{fixme} \lstloadlanguages{bash} \lstdefinestyle{bash}{language=bash,