From 812946416a78af532cc16608632401294ff4f4c7 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Tue, 22 May 2018 12:46:27 +0200
Subject: [PATCH] Add missing LATEX_ADDITIONAL_PACKAGES in configproxy
/close #197
---
configproxy.py | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/configproxy.py b/configproxy.py
index 1292d9f..9b0f9b5 100755
--- a/configproxy.py
+++ b/configproxy.py
@@ -718,6 +718,11 @@ CONFIG_SECTIONS = [
default=False,
required=False, internal=False,
description="Include a header and footer in protocols"),
+ ConfigEntry(
+ name="LATEX_ADDITIONAL_PACKAGES",
+ default=None,
+ required=False, internal=False,
+ description="Include additional latex packages in protocols"),
ConfigEntry(
name="LATEX_TEMPLATES",
default=None,
--
GitLab