# Index of /mirror/src/Magma-1-20-x/patches/minecraft/net/minecraft/server/dedicated/

    ../
    DedicatedServer.java.patch                         07-Oct-2023 14:12     15K
    DedicatedServerProperties.java.patch               07-Oct-2023 14:12     684
    ServerWatchdog.java.patch                          07-Oct-2023 14:12     809
    Settings.java.patch                                07-Oct-2023 14:12    1131