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

../
org.eclipse.glsp.ide.editor.source_2.5.0.jar       08-Sep-2025 11:10               81100
org.eclipse.glsp.ide.editor_2.5.0.jar              08-Sep-2025 11:10              122130
org.eclipse.glsp.ide.workflow.editor_2.5.0.jar     08-Sep-2025 11:10               21149