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