devkit « idea « jetbrains « org « resources « devkit « plugins - tools/idea.git -

index : tools/idea.git

summary refs log tree commit diff

path: root/plugins/devkit/resources/org/jetbrains/idea/devkit

Mode	Name	Size
-rw-r--r--	DevKitBundle.properties	8460	log plain