Delete ports.nix

This commit is contained in:
Oliver Davies 2025-07-10 22:53:39 +01:00
parent 5341b761ad
commit b32493780d