cgspace-java-helpers/.idea
Alan Orth eb66ccbd0d
.idea/misc.xml: use Java 17
Latest IDEA configuration after updating settings in the IDE.
2023-12-28 10:49:42 +03:00
..
.gitignore Add .idea 2020-08-04 15:34:31 +03:00
encodings.xml Add .idea 2020-08-04 15:34:31 +03:00
misc.xml .idea/misc.xml: use Java 17 2023-12-28 10:49:42 +03:00
vcs.xml Add .idea 2020-08-04 15:34:31 +03:00