unC0Rr [Fri, 06 Oct 2023 20:34:51 +0200] rev 16010
Add some cosmetic/consistency fixes
unC0Rr [Tue, 03 Oct 2023 21:13:41 +0200] rev 16009
Implement pinging of the server every 30 seconds
unC0Rr [Mon, 02 Oct 2023 21:36:13 +0200] rev 16008
Adopt more recent versions of dependencies, apply clippy fixes
Wuzzy <Wuzzy@disroot.org> [Thu, 24 Aug 2023 20:15:40 +0200] rev 16007
Replace 'var' with 'let' in flag/grave/hat XHTML previews
Wuzzy <Wuzzy@disroot.org> [Thu, 24 Aug 2023 20:12:28 +0200] rev 16006
Clean up flag/grave/hats XHTML preview pages
unC0Rr [Tue, 22 Aug 2023 22:19:28 +0200] rev 16005
Unbreak pas2c build
unC0Rr [Tue, 22 Aug 2023 08:35:46 +0200] rev 16004
Merge default
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
nemo [Sun, 06 Aug 2023 18:24:39 -0400] rev 16002
pull in neglected fix
Wuzzy <Wuzzy@disroot.org> [Mon, 24 Jul 2023 20:02:18 +0200] rev 16001
Add ExtraDamage icon variant for locales with comma as decimal separator