diff --git a/.gitignore b/.gitignore index 8e0f6676765f2e1de851784b336e74f176324381..44012ae4f8f7b72b95b35823677b1d58be701b0d 100644 --- a/.gitignore +++ b/.gitignore @@ -47,4 +47,5 @@ out* gyacomo gyacomo_dbg gyacomo23* -wk/parameters/profiles \ No newline at end of file +wk/parameters/profiles +local/dirs.inc