Index of /~kieler/updatesite/websocket-mirror/10.0.11/

../
plugins/                                           12-Oct-2022 11:33                   -
artifacts.jar                                      12-Oct-2022 11:33                 770
artifacts.xml.xz                                   12-Oct-2022 11:33                 708
content.jar                                        12-Oct-2022 11:33                2808
content.xml.xz                                     12-Oct-2022 11:33                2224
p2.index                                           12-Oct-2022 11:33                 173