Add dashes to the mission names (!5) · Merge requests · maja / maja-gipp2 · GitLab

The source project of this merge request has been removed.

Laurențiu Nicola requested to merge (removed):mission-dashes into develop Apr 19, 2022

I'm not sure what's the deal with these, but closes #4