mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-18 13:02:28 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
29847 commits 2784 branches 343 tags 1.6 GiB
Commit graph

1 commit

Author SHA1 Message Date
unknown
7f4f728ef4 Changes for German manual in mysql.de website. 
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.
 2002-03-13 15:39:51 +10:00