This repository has been archived by the owner on Mar 30, 2019. It is now read-only.

Remove 'name' property from missions #5

Open

o3bvv opened this issue May 17, 2014 · 0 comments

Labels

pruning

Milestone

Member

o3bvv commented May 17, 2014

People say it's excess. Base name of a mission file will be enough.

o3bvv added the pruning label

o3bvv added this to the 0.2.0 milestone

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.