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.
Fri, 04 Mar 2022 11:01:00 +0100 Peter Gervai cmd.sh: I dislike shell escaping, and it doesn't like me either. (fix escaped ')
(0) -10 -3 tip