projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 6cec691)
Remove "insult" example
authorJohn Ousterhout <ouster@cs.stanford.edu>
Tue, 12 May 2020 04:03:45 +0000 (21:03 -0700)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Tue, 12 May 2020 04:10:50 +0000 (21:10 -0700)
(Too many terms that may offend some people)


No differences found
Pintos public repository