This website requires JavaScript.
Explore
Help
Sign In
OpenSource
/
jenkins
Watch
1
Star
0
Fork
0
mirror of
https://github.com/jenkinsci/jenkins.git
synced
2026-11-09 18:16:10 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
44ae0ea52014c34ec4e1165dfd03fb353bc2dd88
jenkins
/
websocket
/
jetty10
T
History
Basil Crow
ac2fc84a9a
Improve WebSocket
Provider
interface (
#7915
)
...
Improve `Provider` interface
2023-05-05 09:54:20 +02: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
2023-05-02 13:03:11 +00:00