diff options
| -rw-r--r-- | web/index.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/web/index.txt b/web/index.txt index e3b0c95..6f3e1f6 100644 --- a/web/index.txt +++ b/web/index.txt @@ -335,4 +335,5 @@ Robert Morris ([email protected]) You can reach all of us at [email protected]. - +xv6 and lecture notes are copyright © 2006-present by Russ Cox, +Frans Kaashoek, and Robert Morris. |