Stefano Pigozzi d7f704ea49 Refactor the whole frontend into something with probably more sense		2023-08-11 05:04:49 +02:00
..
codeStyles	Setup editor config in server and reformat everything	2023-07-30 02:31:48 +02:00
inspectionProfiles	Refactor the whole frontend into something with probably more sense	2023-08-11 05:04:49 +02:00
runConfigurations	Implement reconnection mechanism and other good things	2023-08-06 00:23:49 +02:00
.gitignore	Initial commit	2023-07-29 15:58:17 +02:00
jsonSchemas.xml	Add logo and improve metadata and manifest	2023-08-06 18:47:07 +02:00
misc.xml	Initial commit	2023-07-29 15:58:17 +02:00
modules.xml	Add docker thingies	2023-08-04 19:28:46 +02:00
todocolors.iml	Initial commit	2023-07-29 15:58:17 +02:00
vcs.xml	Initial commit	2023-07-29 15:58:17 +02:00