Wed, 03 Aug 2022 10:43:29 +0200 Peter Gervai Add check.server.pl: checks whether a matrix server is real and responding
Fri, 04 Mar 2022 16:11:51 +0100 Peter Gervai cmd.sh: set ordering on some longer outputs.
(0) -10 -2 tip