diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 9 | 
1 files changed, 9 insertions, 0 deletions
| @@ -15,3 +15,12 @@ mkfs  kernel/kernel  user/usys.S  .gdbinit +myapi.key +*-handin.tar.gz +xv6.out* +.vagrant/ +submissions/ +ph +barrier +/lab-*.json +.DS_Store
\ No newline at end of file | 
