diff --git a/.unison/default.prf b/.unison/default.prf index 4a8bd40..d24dc30 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -36,5 +36,7 @@ ignore = Name *.vrb ignore = Name *.o ignore = Name *.out ignore = Name *.cmi +ignore = Name *.cmx ignore = Name *.byte +ignore = Name *.exe ignore = Name pyvenv.cfg