eikek f3f246d798 Rename server -> restserver in nix setup ... While I'd like to rename it the other way around, it would be a much more breaking change. So for now, this way.		2024-03-10 15:37:16 +01:00
..
joex.nix	Extend nix flake setup	2024-03-10 15:37:16 +01:00
server.nix	Rename server -> restserver in nix setup	2024-03-10 15:37:16 +01:00