infra - Revision 1087058: /websites/production/isis/content/guides/images/appendices/dev-env/intellij-idea/040-other-settings