mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-19 13:32:33 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge jcole@work.mysql.com:/home/bk/mysql

Browse source 
into tetra.spaceapes.com:/usr/home/jcole/bk/mysql
This commit is contained in:
jcole@tetra.spaceapes.com 2000-10-08 00:09:58 -05:00
commit 0cc9d0caa4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Docs/manual.texi
View file

@ -90,7 +90,7 @@ END-INFO-DIR-ENTRY
@ifset nusphere
@oddheading @thischapter @| @| @thispage
@evenheading @thispage @| @| @thischapter
@evenheading @thispage @| @| MySQL Technical Reference for Version @value{mysql_version}
@end ifset
@end iftex