Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Scripts: print which example is tested for easier scanning
Also improve help output if run without arguments.
- Loading branch information