diff --git a/tools/dev/idea-settings.jar b/tools/dev/idea-settings.jar new file mode 100644 index 0000000000..ad1826d9de Binary files /dev/null and b/tools/dev/idea-settings.jar differ