diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -9,5 +9,7 @@ /docs/_build qemu-*-*.log -
-/desktop.ini
+ +/desktop.ini + +coverage.info |
![]() |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 6 |
@@ -9,5 +9,7 @@ /docs/_build qemu-*-*.log -
-/desktop.ini
+ +/desktop.ini + +coverage.info |