mk Fri May 24 09:16:16 2002 EDT
Modified files:
/phpdoc-de/reference/gmp constants.xml
Log:
Sync with EN
Index: phpdoc-de/reference/gmp/constants.xml
diff -u phpdoc-de/reference/gmp/constants.xml:1.1
phpdoc-de/reference/gmp/constants.xml:1.2
--- phpdoc-de/reference/gmp/constants.xml:1.1 Fri May 10 19:47:10 2002
+++ phpdoc-de/reference/gmp/constants.xml Fri May 24 09:16:15 2002
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.1 $ -->
-<!-- EN-Revision: 1.1 Maintainer: mk Status: ready -->
-<section id="xxx.constants">
+<!-- $Revision: 1.2 $ -->
+<!-- EN-Revision: 1.2 Maintainer: mk Status: ready -->
+<section id="gmp.constants">
&reftitle.constants;
&extension.constants;
<variablelist>
