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

    ../
    BanListEntry.java.patch                            07-Oct-2023 14:12    1000
    GameProfileCache.java.patch                        07-Oct-2023 14:12    2215
    OldUsersConverter.java.patch                       07-Oct-2023 14:12    3921
    PlayerList.java.patch                              07-Oct-2023 14:12     46K
    SleepStatus.java.patch                             07-Oct-2023 14:12    1537
    StoredUserList.java.patch                          07-Oct-2023 14:12     770
    UserBanListEntry.java.patch                        07-Oct-2023 14:12    1086