diff --git a/.unison/default.prf b/.unison/default.prf index d24dc30..20df69e 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -16,6 +16,8 @@ ignore = Name .import ignore = Name _minted-* ignore = Name bin ignore = Name lib +ignore = Name .gradle +ignore = Name .idea # Ignore list files ignore = Name *.synctex.gz @@ -40,3 +42,4 @@ ignore = Name *.cmx ignore = Name *.byte ignore = Name *.exe ignore = Name pyvenv.cfg +ignore = Name local.properties