diff options
Diffstat (limited to 'ports/unix/.gitignore')
| -rw-r--r-- | ports/unix/.gitignore | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/ports/unix/.gitignore b/ports/unix/.gitignore index 977690827..674521868 100644 --- a/ports/unix/.gitignore +++ b/ports/unix/.gitignore @@ -1,9 +1,4 @@ micropython -micropython_dev -micropython_fast -micropython_minimal -micropython_coverage -micropython_nanbox -micropython_freedos* +micropython-* *.py *.gcov |