From ea81305e366f3c87b6a81e13e28e438dba90ca4e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 6 Feb 2022 15:12:40 +0100 Subject: [PATCH] bugfix --- PyTeX/format/formatting_config.py | 7 ------- 1 file changed, 7 deletions(-) diff --git a/PyTeX/format/formatting_config.py b/PyTeX/format/formatting_config.py index 96e3a1b..d563f1c 100644 --- a/PyTeX/format/formatting_config.py +++ b/PyTeX/format/formatting_config.py @@ -141,13 +141,6 @@ class FormattingConfig(Config): def pytex_version(self) -> Optional[GitVersionInfo]: return self._pytex_version - @property - def extra_header_file(self) -> GenericText: - if self._extra_header_file is None: - return GenericText([]) - else: - return self._extra_header_file - @property def pytex_info_text(self) -> GenericText: if self._pytex_info_text is None: