diff options
author | unknown <serg@serg.mysql.com> | 2000-12-01 13:26:55 +0100 |
---|---|---|
committer | unknown <serg@serg.mysql.com> | 2000-12-01 13:26:55 +0100 |
commit | 4735a463a256bf61387f3296b82ed10b07af7779 (patch) | |
tree | 6f79b7d5a046609c50708e818a63559c3b75c5c8 /Docs/Support | |
parent | 46535017d8bb73d6be940b4830e5fa423385e357 (diff) | |
parent | 5a121ef053b32f3a420a3d2e27dfcab19a5a3439 (diff) | |
download | mariadb-git-4735a463a256bf61387f3296b82ed10b07af7779.tar.gz |
Merge
Docs/manual.texi:
merged
big deletion by yfaktoro@nslinuxw2.bedford.progress.com undone
(I have to make a decision durion merge)
He should re-delete, if it's what he really wanted to do.
Diffstat (limited to 'Docs/Support')
0 files changed, 0 insertions, 0 deletions