Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'dev-nasa-report-remove'. Close #28.
We no longer need this here: https://github.com/Copilot-Language/copilot-discussion/tree/master/NASATM2020 now that the manual has been officially published.
- Loading branch information