PR #2538 nix: remove unused `_server.nix` file

nix: remove unused `_server.nix` file #2538

danieldk merged 1 commit into main from maintenance/remove-server-nix

nix: remove unused `_server.nix` file

4b3922ed

danieldk merged 9263817c into main 2 years ago

danieldk deleted the maintenance/remove-server-nix branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone