diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ .venv/ /build /docs/_build +/public # Generated files .gdb_history |
![]() |
index : pub/teachos/kernel.git | |
| An educational OS kernel | fmorgner |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 1 |
@@ -4,6 +4,7 @@ .venv/ /build /docs/_build +/public # Generated files .gdb_history |