Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When using `./koch tools`, the directory `dist/` is generated (it contains the `nimble` sources). The `dist` directory was added to .gitignore.
- Loading branch information