jenz 9a5868951e made previous fix into its own plugin as it can catch all client cmds and not just what commandlistener thinks

2022-03-13 12:23:31 +01:00

..

readcmds.css.txt

made previous fix into its own plugin as it can catch all client cmds and not just what commandlistener thinks

2022-03-13 12:23:31 +01:00