The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
unknown authored
Docs/manual.de.texi: Fixed up German manual for mysql.de website (with English @node lines). @menu blocks are not filled so .info won't look nice.
7f4f728e