diff options
| -rw-r--r-- | unix/.gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/unix/.gitignore b/unix/.gitignore index 59dee4d70..1d94544e7 100644 --- a/unix/.gitignore +++ b/unix/.gitignore @@ -1,8 +1,9 @@ build build-fast build-minimal +build-coverage micropython micropython_fast micropython_minimal +micropython_coverage *.py -micropython-upip-* |