From 0eff8628d102622551372f80b147e75963f27a83 Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Sat, 2 Sep 2023 21:19:10 +0300 Subject: [PATCH] Rename .java to .kt GitOrigin-RevId: a291b1ee739e3f8ba1f59be11e1ad5e633a2cb58 --- .../intellij/ide/ui/{UIThemeProvider.java => UIThemeProvider.kt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename platform/platform-impl/src/com/intellij/ide/ui/{UIThemeProvider.java => UIThemeProvider.kt} (100%) diff --git a/platform/platform-impl/src/com/intellij/ide/ui/UIThemeProvider.java b/platform/platform-impl/src/com/intellij/ide/ui/UIThemeProvider.kt similarity index 100% rename from platform/platform-impl/src/com/intellij/ide/ui/UIThemeProvider.java rename to platform/platform-impl/src/com/intellij/ide/ui/UIThemeProvider.kt