diff options
author | 2016-08-22 14:13:10 +0000 | |
---|---|---|
committer | 2016-08-22 14:13:10 +0000 | |
commit | 9efc2c1bfad23f01ec54a2a9dc105b76081b905c (patch) | |
tree | b4561b8bf225b2408bff933cd2ccb82d13696a58 | |
parent | e0482d626cedfb1f30712e82df288454af65c76c (diff) | |
parent | 0e946fc3d7cd0fd00e7fb51e920e810998193162 (diff) |
Merge "Ignore .idea in git repo"
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -65,3 +65,4 @@ target/ .*.sw? /docs_build/ /docs_output/ +.idea |