Marc Baloup 0fcd02c80d Permission system now provides a default player ... The default player has a fixed name and uuid that should never collide with existing players. It will never have self permission data, and it will always be part of the default groups. It is useful for anonymous permission test (for instance, listing only the servers that are publicly visible for the ping server list)		2023-08-14 01:49:56 +02:00
..
src	Permission system now provides a default player	2023-08-14 01:49:56 +02:00
pom.xml	Fix various warnings and progress some javadoc	2022-09-08 23:42:12 +02:00