diff options
author | Sergei Petrunia <psergey@askmonty.org> | 2016-04-06 18:08:16 +0300 |
---|---|---|
committer | Sergei Petrunia <psergey@askmonty.org> | 2016-04-06 18:08:16 +0300 |
commit | 89b744eb6c2484412f476a53087cea7bf28dc917 (patch) | |
tree | f2925e6fcd3b5bcef4465ef1c5e58ff85ff1c835 /pcre/README | |
parent | da64cd6dd64a388be2737bd0d414efc876f2eefc (diff) | |
download | mariadb-git-89b744eb6c2484412f476a53087cea7bf28dc917.tar.gz |
Fix the buildbot: file-key-management is provided by a plugin, so should be loose.
Diffstat (limited to 'pcre/README')
0 files changed, 0 insertions, 0 deletions