From 07280ce9f21faef9604d8a52df0f5a004d6f253f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Mon, 7 Feb 2022 21:03:59 +0100 Subject: [PATCH] remove unnecessary files --- PyTeX/build/build_info/__init__.py | 1 - PyTeX/build/build_info/build_info.py | 9 --------- 2 files changed, 10 deletions(-) delete mode 100644 PyTeX/build/build_info/__init__.py delete mode 100644 PyTeX/build/build_info/build_info.py diff --git a/PyTeX/build/build_info/__init__.py b/PyTeX/build/build_info/__init__.py deleted file mode 100644 index e7fc405..0000000 --- a/PyTeX/build/build_info/__init__.py +++ /dev/null @@ -1 +0,0 @@ -from .build_info import BasicBuildInfo diff --git a/PyTeX/build/build_info/build_info.py b/PyTeX/build/build_info/build_info.py deleted file mode 100644 index 7bda881..0000000 --- a/PyTeX/build/build_info/build_info.py +++ /dev/null @@ -1,9 +0,0 @@ -from typing import Optional, List - - -class BasicBuildInfo: - def __init__(self): - super().__init__() - self._available_docstrip_guards: Optional[List[str]] = None - self._doc_dependencies: Optional[List[str]] = None - self._tex_dependencies: Optional[List[str]] = None