Shane Freeder d694a49769 Drop unneeded desync patch ...

spigot no longer even fires the event for this case, so, this may
actually be a regression, not too sure here, but, as-is this patch
is dead

2022-03-02 09:44:22 +00:00

..

api

Configure javadoc overview and doc-files copying

2022-02-28 21:38:49 -07:00

server

Drop unneeded desync patch

2022-03-02 09:44:22 +00:00