diff --git a/.gitignore b/.gitignore index 98ce20189..3b0822153 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,7 @@ # User-specific stuff: .idea/workspace.xml .idea/tasks.xml +.idea/shelf .idea/dictionaries .idea/vcs.xml .idea/jsLibraryMappings.xml