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
..
2022-02-03 21:42:09 +01:00
2022-02-03 21:42:09 +01:00
2022-02-03 21:42:09 +01:00
2024-01-31 19:40:02 +01:00
2024-03-10 15:37:16 +01:00
2022-03-21 14:41:39 +01:00