From: Ben Pfaff Date: Wed, 30 Mar 2005 06:11:53 +0000 (+0000) Subject: Update license section. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=63bae7d91cfdc5d6f73b52702ecb6dcca515496c;p=pintos-anon Update license section. --- diff --git a/doc/intro.texi b/doc/intro.texi index 2897a3a..1c6584f 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -253,12 +253,12 @@ code by refraining from reading any homework solutions available online or elsewhere. (Source code for other operating system kernels, such as Linux or FreeBSD, is of course fair game.) -Please refer to the @file{LICENSE} file at the top level of the Pintos -source distribution for license details. - There is NO WARRANTY for Pintos, not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. +Please refer to the @file{LICENSE} file at the top level of the Pintos +source distribution for details of license and lack of warranty. + @node Pintos Trivia @section Pintos Trivia