Fri, 06 Oct 2023 20:34:51 +0200 unC0Rr Add some cosmetic/consistency fixes
Tue, 03 Oct 2023 21:13:41 +0200 unC0Rr Implement pinging of the server every 30 seconds
Mon, 02 Oct 2023 21:36:13 +0200 unC0Rr Adopt more recent versions of dependencies, apply clippy fixes
Thu, 24 Aug 2023 20:15:40 +0200 Wuzzy Replace 'var' with 'let' in flag/grave/hat XHTML previews
Thu, 24 Aug 2023 20:12:28 +0200 Wuzzy Clean up flag/grave/hats XHTML preview pages
Tue, 22 Aug 2023 22:19:28 +0200 unC0Rr Unbreak pas2c build
Tue, 22 Aug 2023 08:35:46 +0200 unC0Rr Merge default transitional_engine
Thu, 10 Aug 2023 20:48:54 -0400 nemo add some round() so that the scale factor compiles at least with non-integer values
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 tip