Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix name of mbed shell example. (#11391)
This makes the following work: ``` ./scripts/build/build_examples.py --target-glob 'mbed*' build --copy-artifacts-to out/artifacts ```
- Loading branch information