diff --git a/.gitignore b/.gitignore index 63c0621..c4b686a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ /goblins/doc/ /goblins/scribblings/compiled/ +compiled/