diff options
author | unknown <hartmut@mysql.com> | 2004-09-26 15:27:13 +0200 |
---|---|---|
committer | unknown <hartmut@mysql.com> | 2004-09-26 15:27:13 +0200 |
commit | 85d98034b4979b270154af305d1cb3c5f929fb0f (patch) | |
tree | 4314a45554c534ee02f77e25182f434aed118c9d /os2 | |
parent | dc955863df5872ab4a70adbbf98d4f10d90a1f42 (diff) | |
download | mariadb-git-85d98034b4979b270154af305d1cb3c5f929fb0f.tar.gz |
added --without-man option similar to --without-docs
(part of BUG#5379)
Diffstat (limited to 'os2')
0 files changed, 0 insertions, 0 deletions