diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -23,3 +23,6 @@ ph barrier /lab-*.json .DS_Store +*.dSYM +riscv/ +compile_flags.txt |
![]() |
index : 135e2/xv6-labs.git | |
xv6-labs-2024-winter | 135e2 |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 3 |
@@ -23,3 +23,6 @@ ph barrier /lab-*.json .DS_Store +*.dSYM +riscv/ +compile_flags.txt |