sync IDE settings
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
cf. https://www.jetbrains.com/help/idea/sharing-your-ide-settings.html