root
/
jenkins
mirror of https://github.com/jenkinsci/jenkins.git
1
0
Fork 0
Code Issues Actions 9 Packages Projects Releases Wiki Activity
jenkins/websocket/jetty10
History
Jenkins Release Bot af39cfbfd4 [maven-release-plugin] prepare for next development iteration 2024-04-17 14:48:28 +00:00
..
src/main/java/jenkins/websocket Improve WebSocket `Provider` interface (#7915) 2023-05-05 09:54:20 +02:00
pom.xml [maven-release-plugin] prepare for next development iteration 2024-04-17 14:48:28 +00:00