Commit f5221dd5 authored by unknown's avatar unknown

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

into tetra.spaceapes.com:/usr/home/jcole/bk/mysql


Docs/manual.texi:
  Auto merged
parents 4af07405 6d3e5d7c
......@@ -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
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment