From 63bae7d91cfdc5d6f73b52702ecb6dcca515496c Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 30 Mar 2005 06:11:53 +0000 Subject: [PATCH] Update license section. --- doc/intro.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.30.2