From 8236ebadaf03a01b6f2cd75c66d337818c93f568 Mon Sep 17 00:00:00 2001 From: Fabian Posch Date: Mon, 16 Dec 2024 19:22:26 +0100 Subject: [PATCH] update gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 01cbbd8..641846e 100644 --- a/.gitignore +++ b/.gitignore @@ -14,6 +14,7 @@ *.fot *.cb *.cb2 +*.ist .*.lb ## Intermediate documents: