mirror of
https://github.com/github/gitignore.git
synced 2026-10-28 05:32:33 +01:00
Merge 74f8e25e3c into 52f5a2bf57
This commit is contained in:
1 file changed
+1
@@ -3,6 +3,7 @@
|
||||
|
||||
# User-specific stuff
|
||||
.idea/**/workspace.xml
|
||||
.idea/**/db-forest-config.xml
|
||||
.idea/**/tasks.xml
|
||||
.idea/**/usage.statistics.xml
|
||||
.idea/**/dictionaries
|
||||
|
||||
Reference in new issue
Block a user