oide2java/.editorconfig, branch main Website to convert Online-IDE workspaces to java code add editor config 2025-02-18T18:04:56+00:00 Florian Fischer florian.fischer@muhq.space 2025-02-18T18:04:56+00:00 448d16eeff26ac9ce5d12af80f3f2baad2f18d7e