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