diff --git a/.gitignore b/.gitignore index 31dd511..360e877 100644 --- a/.gitignore +++ b/.gitignore @@ -39,3 +39,5 @@ version.h .frama-c compile_commands.json *.log +.ycm_extra_conf.py +_*/