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
Thu, 10 Aug 2023 20:48:54 -0400 add some round() so that the scale factor compiles at least with non-integer values
nemo [Thu, 10 Aug 2023 20:48:54 -0400] rev 16003
add some round() so that the scale factor compiles at least with non-integer values
Sun, 06 Aug 2023 18:24:39 -0400 pull in neglected fix
nemo [Sun, 06 Aug 2023 18:24:39 -0400] rev 16002
pull in neglected fix
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 tip