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

Name Last Modified Size Description
Parent Directory
vaadin-dev-server-23.2.7.jar Wed Nov 23 08:28:33 UTC 2022 81930
vaadin-dev-server-23.2.7.jar.sha1 Wed Nov 23 08:28:33 UTC 2022 40
vaadin-dev-server-23.2.7.pom Wed Nov 23 08:28:34 UTC 2022 1466
vaadin-dev-server-23.2.7.pom.sha1 Wed Nov 23 08:28:34 UTC 2022 40