1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

spelling fixes

This commit is contained in:
klemens
2017-02-26 16:49:47 +01:00
committed by Sergey Vojtovich
parent e823023e4b
commit 7be541f281
52 changed files with 103 additions and 103 deletions

View File

@@ -1002,7 +1002,7 @@ found:
static int find_plugin(char *tp_path)
{
/* Check for existance of plugin */
/* Check for existence of plugin */
fn_format(tp_path, plugin_data.so_name, opt_plugin_dir, "", MYF(0));
if (!file_exists(tp_path))
{