diff --git a/.unison/default.prf b/.unison/default.prf index a1508a5..0621718 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -14,6 +14,8 @@ ignore = Name __pycache__ ignore = Name _build ignore = Name .import ignore = Name _minted-* +ignore = Name bin +ignore = Name lib # Ignore list files ignore = Name *.synctex.gz @@ -34,3 +36,4 @@ ignore = Name *.o ignore = Name *.out ignore = Name *.cmi ignore = Name *.byte +ignore = Name pyenv.cfg