diff --git a/.gitignore b/.gitignore index 50c0c1a..956f6b1 100644 --- a/.gitignore +++ b/.gitignore @@ -48,3 +48,5 @@ rustc-ice-*.txt # option (not recommended) you can uncomment the following to ignore the entire idea folder. #.idea/ dev/ + +.sisyphus/