From 199e34738425e2ade59126ee350d8f883973c1f8 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 9 Nov 2022 15:36:55 +0100 Subject: [PATCH] add .byte --- .unison/default.prf | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.unison/default.prf b/.unison/default.prf index 87b5ac7..cf4cce2 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -17,7 +17,6 @@ ignore = Name .import # Ignore list files ignore = Name synctex.gz ignore = Name *.toc -ignore = Name *.out ignore = Name *.log ignore = Name *.fls ignore = Name *.aux @@ -26,4 +25,6 @@ ignore = Name *.nav ignore = Name *.snm ignore = Name *.vrb ignore = Name *.o +ignore = Name *.out ignore = Name *.cmi +ignore = Name *.byte