www/philosophy java-trap.de.html po/java-trap.d...

[GNUN]

CVSROOT:        /web/www
Module name:    www
Changes by:     GNUN <gnun>     13/08/04 17:29:30

Modified files:
        philosophy     : java-trap.de.html 
        philosophy/po  : java-trap.de-en.html 

Log message:
        Automatic update by GNUnited Nations.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/philosophy/java-trap.de.html?cvsroot=www&r1=1.9&r2=1.10
http://web.cvs.savannah.gnu.org/viewcvs/www/philosophy/po/java-trap.de-en.html?cvsroot=www&r1=1.2&r2=1.3

Patches:
Index: java-trap.de.html
===================================================================
RCS file: /web/www/www/philosophy/java-trap.de.html,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -b -r1.9 -r1.10
--- java-trap.de.html   27 Jul 2013 14:07:44 -0000      1.9
+++ java-trap.de.html   4 Aug 2013 17:29:29 -0000       1.10
@@ -21,7 +21,7 @@
 seiner Umsetzung der Java-Plattform-Referenz unter der GNU <span
 xml:lang="en" lang="en">General Public License</span> (GPL) <a
 href="http://www.fsf.org/news/fsf-welcomes-gpl-java.html";>relizenziert</a>
-und es nun gibt eine freie Entwicklungsumgebung für Java. Somit ist die
+und es gibt nun eine freie Entwicklungsumgebung für Java. Somit ist die
 Programmiersprache Java als solche keine Falle mehr.</p>
 
 <p>Sie müssen jedoch achtsam sein, denn nicht jede Java-Plattform ist frei. 
Sun
@@ -295,7 +295,7 @@
 <!-- timestamp start -->
 Aktualisierung:
 
-$Date: 2013/07/27 14:07:44 $
+$Date: 2013/08/04 17:29:29 $
 
 <!-- timestamp end -->
 </p>

Index: po/java-trap.de-en.html
===================================================================
RCS file: /web/www/www/philosophy/po/java-trap.de-en.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -b -r1.2 -r1.3
--- po/java-trap.de-en.html     27 Jul 2013 14:07:53 -0000      1.2
+++ po/java-trap.de-en.html     4 Aug 2013 17:29:29 -0000       1.3
@@ -240,7 +240,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2013/07/27 14:07:53 $
+$Date: 2013/08/04 17:29:29 $
 <!-- timestamp end -->
 </p>
 </div>