Fri, 06 Oct 2023 20:34:51 +0200 Add some cosmetic/consistency fixes
unC0Rr [Fri, 06 Oct 2023 20:34:51 +0200] rev 16010
Add some cosmetic/consistency fixes
Tue, 03 Oct 2023 21:13:41 +0200 Implement pinging of the server every 30 seconds
unC0Rr [Tue, 03 Oct 2023 21:13:41 +0200] rev 16009
Implement pinging of the server every 30 seconds
Mon, 02 Oct 2023 21:36:13 +0200 Adopt more recent versions of dependencies, apply clippy fixes
unC0Rr [Mon, 02 Oct 2023 21:36:13 +0200] rev 16008
Adopt more recent versions of dependencies, apply clippy fixes
Thu, 24 Aug 2023 20:15:40 +0200 Replace 'var' with 'let' in flag/grave/hat XHTML previews
Wuzzy <Wuzzy@disroot.org> [Thu, 24 Aug 2023 20:15:40 +0200] rev 16007
Replace 'var' with 'let' in flag/grave/hat XHTML previews
Thu, 24 Aug 2023 20:12:28 +0200 Clean up flag/grave/hats XHTML preview pages
Wuzzy <Wuzzy@disroot.org> [Thu, 24 Aug 2023 20:12:28 +0200] rev 16006
Clean up flag/grave/hats XHTML preview pages
Tue, 22 Aug 2023 22:19:28 +0200 Unbreak pas2c build
unC0Rr [Tue, 22 Aug 2023 22:19:28 +0200] rev 16005
Unbreak pas2c build
Tue, 22 Aug 2023 08:35:46 +0200 Merge default transitional_engine
unC0Rr [Tue, 22 Aug 2023 08:35:46 +0200] rev 16004
Merge default
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 tip