[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

www/gnu gnu-linux-faq.html

From: Ineiev
Subject: www/gnu gnu-linux-faq.html
Date: Fri, 15 Sep 2017 04:49:04 -0400 (EDT)

CVSROOT:        /web/www
Module name:    www
Changes by:     Ineiev <ineiev> 17/09/15 04:49:04

Modified files:
        gnu            : gnu-linux-faq.html 

Log message:
        Validation fix.


Index: gnu-linux-faq.html
RCS file: /web/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.147
retrieving revision 1.148
diff -u -b -r1.147 -r1.148
--- gnu-linux-faq.html  14 Sep 2017 17:52:21 -0000      1.147
+++ gnu-linux-faq.html  15 Sep 2017 08:49:03 -0000      1.148
@@ -852,12 +852,13 @@
 than &ldquo;Linux/GNU&rdquo;? <span class="anchor-reference-id">(<a 
 It is right and proper to mention the principal contribution first.
 The GNU contribution to the system is not only bigger than Linux and
-prior to Linux, we actually started the whole activity.
+prior to Linux, we actually started the whole activity.</p>
 In addition, &ldquo;GNU/Linux&rdquo; fits the fact that Linux is the
-lowest level of the system and GNU fills technically higher levels.
+lowest level of the system and GNU fills technically higher levels.</p>
 However, if you prefer to call the system &ldquo;Linux/GNU&rdquo;, that is a 
 better than what people usually do, which is to omit GNU entirely and
@@ -1557,7 +1558,7 @@
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2017/09/14 17:52:21 $
+$Date: 2017/09/15 08:49:03 $
 <!-- timestamp end -->

reply via email to

[Prev in Thread] Current Thread [Next in Thread]