diff --git a/.ignore b/.ignore index 0863ea9..03227d9 100644 --- a/.ignore +++ b/.ignore @@ -1,2 +1,4 @@ .git .DS_Store +resources/ +src/HoTTEST/ \ No newline at end of file