Index of /groups/thirdparty-releases/com/vaadin/vaadin-dev-server/23.3.12

Name Last Modified Size Description
Parent Directory
vaadin-dev-server-23.3.12.jar Tue May 23 16:02:46 UTC 2023 77077
vaadin-dev-server-23.3.12.jar.sha1 Tue May 23 16:02:46 UTC 2023 40
vaadin-dev-server-23.3.12.pom Tue May 23 16:02:46 UTC 2023 1636
vaadin-dev-server-23.3.12.pom.sha1 Tue May 23 16:02:46 UTC 2023 40