From fdcf03eb3db74852310b51514239507e420ee1a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 6 Feb 2022 22:29:44 +0100
Subject: [PATCH] add build time attribute

---
 PyTeX/format/formatting_config.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/PyTeX/format/formatting_config.py b/PyTeX/format/formatting_config.py
index c3ecc60..9b595a7 100644
--- a/PyTeX/format/formatting_config.py
+++ b/PyTeX/format/formatting_config.py
@@ -37,6 +37,7 @@ class FormattingConfig(Config):
         self._include_pytex_info_text: Optional[bool] = None
         self._include_repo_version: Optional[bool] = None
         self._include_repo_info_text: Optional[bool] = None
+        self._include_time: Optional[bool] = None
 
         self._extra_header: Optional[GenericText] = None
         self._author: Optional[str] = None
@@ -138,7 +139,6 @@ class FormattingConfig(Config):
         else:
             return self._version
 
-
     @property
     def pytex_info_text(self) -> GenericText:
         if self._pytex_info_text is None:
@@ -182,6 +182,13 @@ class FormattingConfig(Config):
         else:
             return self._description
 
+    @property
+    def include_time(self) -> bool:
+        if self._include_time is None:
+            return False
+        else:
+            return self._include_time
+
 
 class DocFormattingConfig:
     def __init__(self):