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

../
plugins/                                           21-Aug-2023 15:36                   -
artifacts.jar                                      21-Aug-2023 15:36                 784
artifacts.xml.xz                                   21-Aug-2023 15:36                 724
content.jar                                        21-Aug-2023 15:36                3645
content.xml.xz                                     21-Aug-2023 15:36                2676
p2.index                                           21-Aug-2023 15:36                 173