Merge pull request #2652 from twhitbeck/jetbrains-add-shelf

Add shelf to JetBrains.gitignore

Author: shiftkey

Global/JetBrains.gitignore

@@ -4,7 +4,8 @@
 # User-specific stuff
 .idea/**/workspace.xml
 .idea/**/tasks.xml
-.idea/dictionaries
+.idea/**/dictionaries
+.idea/**/shelf
 
 # Sensitive or high-churn files
 .idea/**/dataSources/