diff options
-rw-r--r-- | unix/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/unix/.gitignore b/unix/.gitignore index 1d94544e7c..b93755326f 100644 --- a/unix/.gitignore +++ b/unix/.gitignore @@ -7,3 +7,4 @@ micropython_fast micropython_minimal micropython_coverage *.py +*.gcov |