Jetbrains tools settings repository. See : https://www.jetbrains.com/help/idea/sharing-your-ide-settings.html#settings-repository
Jetbrains tools settings repository. See : https://www.jetbrains.com/help/idea/sharing-your-ide-settings.html#settings-repository