diff --git a/.gitignore b/.gitignore index d8d46817..5d526cf3 100644 --- a/.gitignore +++ b/.gitignore @@ -8,6 +8,7 @@ **/.mps/workspace.xml **/.mps/shelf/* **/.idea/workspace.xml +**/.mps/product-workspace.xml **/lib/* **/.DS_Store .gradle