summaryrefslogtreecommitdiff
path: root/os2
diff options
context:
space:
mode:
authorunknown <hartmut@mysql.com>2004-09-26 15:27:13 +0200
committerunknown <hartmut@mysql.com>2004-09-26 15:27:13 +0200
commit85d98034b4979b270154af305d1cb3c5f929fb0f (patch)
tree4314a45554c534ee02f77e25182f434aed118c9d /os2
parentdc955863df5872ab4a70adbbf98d4f10d90a1f42 (diff)
downloadmariadb-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