Rename ram_pages to init_ram_pages.

[pintos-anon] / LICENSE

diff --git a/LICENSE b/LICENSE
index d6e839203d9d3e2dab7b72e5680ce493a110982d..8702541a9c913e71669cc6ef62cef16543f688c4 100644 (file)
--- 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