remove unused ports from Codespace #97

Open

Assignees

Labels

opened

on Nov 18, 2023

Remove the unused ports / mappings from .devcontainer

Metadata

Assignees

bartr

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests