unC0Rr [Fri, 06 Oct 2023 22:37:44 +0200] rev 15982
Modernize engine protocol parser
unC0Rr [Fri, 06 Oct 2023 20:34:51 +0200] rev 15981
Add some cosmetic/consistency fixes
unC0Rr [Tue, 03 Oct 2023 21:13:41 +0200] rev 15980
Implement pinging of the server every 30 seconds
unC0Rr [Mon, 02 Oct 2023 21:36:13 +0200] rev 15979
Adopt more recent versions of dependencies, apply clippy fixes
Wuzzy <Wuzzy@disroot.org> [Thu, 24 Aug 2023 20:15:40 +0200] rev 15978
Replace 'var' with 'let' in flag/grave/hat XHTML previews
Wuzzy <Wuzzy@disroot.org> [Thu, 24 Aug 2023 20:12:28 +0200] rev 15977
Clean up flag/grave/hats XHTML preview pages
unC0Rr [Tue, 22 Aug 2023 22:19:28 +0200] rev 15976
Unbreak pas2c build
unC0Rr [Tue, 22 Aug 2023 08:35:46 +0200] rev 15975
Merge default
nemo [Thu, 10 Aug 2023 20:48:54 -0400] rev 15974
add some round() so that the scale factor compiles at least with non-integer values
nemo [Sun, 06 Aug 2023 18:24:39 -0400] rev 15973
pull in neglected fix