Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge priority scheduling implementations by Themis and Saleh #8

Closed
td1223 wants to merge 13 commits from task1/priority-scheduling into task1/merged/priority-scheduling
pull from: task1/priority-scheduling
merge into: Imperial-MEng:task1/merged/priority-scheduling
Conversation 3 Commits 13 Files Changed 3 +30 -136
4 changed files with 30 additions and 136 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit c32a69a368 - Show all commits

3
.gitignore vendored
View File

@@ -4,6 +4,9 @@
#ignore pdf files (just keep source files)
*.pdf
#ignore shell scripts (only used for testing)
*.sh
#ignore junk files from latex output
*.out
*.log