This repo does not match the source distribution

mysql / mysql-utilities

MySQL Utilities is a set of easy-to-use scripts intended to make working with MySQL servers easier.

GNU General Public License v2.0

267 stars 161 forks source link

This repo does not match the source distribution #12

Open solomonty opened 8 years ago

solomonty commented 8 years ago

The contents of the docs/man directory in this repo does not match the one in the contents of the source distribution at http://dev.mysql.com/downloads/utilities/ . The files here have zero size and the man pages for the new utilities are missing.