Index of /eclipse/glsp/ide/p2/releases/2.5.0/plugins/

../
org.eclipse.glsp.ide.editor.source_2.5.0.jar       08-Sep-2025 19:10     79K
org.eclipse.glsp.ide.editor_2.5.0.jar              08-Sep-2025 19:10    119K
org.eclipse.glsp.ide.workflow.editor_2.5.0.jar     08-Sep-2025 19:10     21K