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

../
args.txt                                           22-May-2023 16:00     611
libraries.txt                                      27-Mar-2023 11:50      12
run.bat                                            27-Mar-2023 11:50     336
run.sh                                             27-Mar-2023 11:50     339
user_jvm_args.txt                                  27-Mar-2023 11:50     339
version.txt                                        27-Mar-2023 11:50       9