diff --git a/.gitignore b/.gitignore index 174ddb1f5..dbb31434c 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,7 @@ regression/log-* src/PySMT/opensmt.py .ycm_extra_conf.py .ycm_extra_conf.pyc +.ccls-cache/ authors.txt build*/ delta/parser/__pycache__/