projects / pintos-anon / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
Delete .tar, .get-output, and .get-errors files on "clean" target.
-rw-r--r-- 1390 AUTHORS blob | history | raw
-rw-r--r-- 4621 LICENSE blob | history | raw
-rw-r--r-- 244 Makefile blob | history | raw
drwxr-xr-x - doc tree | history
drwxr-xr-x - specs tree | history
drwxr-xr-x - src tree | history
drwxr-xr-x - tests tree | history
Pintos public repository