update after a decade (+ greet messages, - redundant events)

2025-04-20 02:45:23 +08:00
parent 0f834e5810
commit 6b463cf5b3
25 changed files with 128 additions and 53 deletions
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
  <component name="EntryPointsManager">
    <list size="1">
@@ -5,5 +6,5 @@
    </list>
  </component>
  <component name="ExternalStorageConfigurationManager" enabled="true" />
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="17" project-jdk-type="JavaSDK" />
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_18" default="true" project-jdk-name="17" project-jdk-type="JavaSDK" />
 </project>