diff --git a/htdocs/.gitignore b/htdocs/.gitignore index 6d1bdcca536..ac35d8fab2f 100644 --- a/htdocs/.gitignore +++ b/htdocs/.gitignore @@ -27,3 +27,4 @@ /abricot* /nomenclature* /of/ +/workstation/