Wed, 08 Mar 2023 22:27:54 +0100 Peter Gervai Add mass_event_remove.sh: simple script redact events collected from the db default tip
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 -3 tip