From 38977de62a174b0a1f1479aa22f6c4cb29fda6b6 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Thu, 23 Mar 2023 10:27:21 +0100
Subject: [PATCH] Ignore tns files

---
 .unison/default.prf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.unison/default.prf b/.unison/default.prf
index 0621718..03d5193 100644
--- a/.unison/default.prf
+++ b/.unison/default.prf
@@ -19,6 +19,7 @@ ignore = Name lib
 
 # Ignore list files
 ignore = Name *.synctex.gz
+ignore = Name *.tns
 ignore = Name *.toc
 ignore = Name *.log
 ignore = Name *.loa