diff --git a/.gitignore b/.gitignore index 2bf8908..3115908 100644 --- a/.gitignore +++ b/.gitignore @@ -19,3 +19,6 @@ my.html /samples_output /output /benchmarks/output + +# dialyzer caching +/tools \ No newline at end of file