X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=LICENSE;h=8702541a9c913e71669cc6ef62cef16543f688c4;hp=d6e839203d9d3e2dab7b72e5680ce493a110982d;hb=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999

diff --git a/LICENSE b/LICENSE
index d6e8392..8702541 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,7 +1,8 @@
-Most of Pintos is subject to the following license:  
+Pintos, including its documentation, is subject to the following
+license:
 
-    Copyright 2004 Board of Trustees, Leland Stanford Jr. University
-    All rights reserved.
+    Copyright (C) 2004, 2005, 2006 Board of Trustees, Leland Stanford
+    Jr. University.  All rights reserved.
 
     Permission is hereby granted, free of charge, to any person obtaining
     a copy of this software and associated documentation files (the