diff options
Diffstat (limited to 'ports/unix/.gitignore')
| -rw-r--r-- | ports/unix/.gitignore | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ports/unix/.gitignore b/ports/unix/.gitignore new file mode 100644 index 000000000..706b7732d --- /dev/null +++ b/ports/unix/.gitignore @@ -0,0 +1,14 @@ +build +build-fast +build-minimal +build-coverage +build-nanbox +build-freedos +micropython +micropython_fast +micropython_minimal +micropython_coverage +micropython_nanbox +micropython_freedos* +*.py +*.gcov |