Index of /mirror/src/Magma-1-19-x/server_files/

../
args.txt                                           16-May-2023 16:11     611
libraries.txt                                      16-May-2023 16:11      12
run.bat                                            16-May-2023 16:11     347
run.sh                                             16-May-2023 16:11     339
user_jvm_args.txt                                  16-May-2023 16:11     339
version.txt                                        16-May-2023 16:11       9