diff --git a/.gitignore b/.gitignore index 7ee6b9c56..167149607 100644 --- a/.gitignore +++ b/.gitignore @@ -120,4 +120,4 @@ out/ doc/rdoc/ # User-specific files -conf.json +