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