Bjarne Koll 142695eb00 Default minecraft alias to redirect (#12146) ...

While the running server will still be using the recently introduced
copy-mechanic for vanilla command namespacing, the data converter logic
relies on the fact that namespaced aliases were redirects as well.

To not break the converted, the commands type now takes a modern flag
only set by the running server.

2025-02-18 00:09:54 +01:00

..

arguments

Fix unintentional change to default "overridePermissions" argument (#11759)

2024-12-21 10:25:14 +01:00

Commands.java.patch

Default minecraft alias to redirect (#12146)

2025-02-18 00:09:54 +01:00

CommandSource.java.patch

Commands

2024-12-13 21:21:57 +01:00

CommandSourceStack.java.patch

Make CommandSourceStack respect hidden players (#11898)

2025-01-12 17:50:08 +01:00