update: [MariaDB] updates

williamdes · Jul 15, 2023 · 750fae2 · 750fae2
1 parent a1f9ebf
commit 750fae2
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/data/variables/mariadb-server-system-variables.json b/data/variables/mariadb-server-system-variables.json
@@ -3533,7 +3533,7 @@
       "type": "enumeration"
     },
     {
-      "cli": "-V, --version[=name] (>= MariaDB 10.2.1), --version (<= MariaDB 10.2.0)",
+      "cli": "-V, --version[=name]",
       "dynamic": false,
       "id": "version",
       "name": "version",

diff --git a/dist/merged-raw.json b/dist/merged-raw.json
@@ -23956,7 +23956,7 @@
             ]
         },
         "version": {
-            "cli": "-V, --version[=name] (>= MariaDB 10.2.1), --version (<= MariaDB 10.2.0)",
+            "cli": "-V, --version[=name]",
             "dynamic": false,
             "name": "version",
             "scope": [

diff --git a/dist/merged-raw.md b/dist/merged-raw.md
@@ -19819,7 +19819,7 @@
 |name|value|
 |----|-----|
 |Name|`version`|
-|Command line|`-V, --version[=name] (>= MariaDB 10.2.1), --version (<= MariaDB 10.2.0)`|
+|Command line|`-V, --version[=name]`|
 |Type of variable|`string`|
 |Scope|`global`|
 |Dynamic|`false`|

diff --git a/dist/merged-slim.json b/dist/merged-slim.json
@@ -18595,7 +18595,7 @@
             ]
         },
         "version": {
-            "cli": "-V, --version[=name] (>= MariaDB 10.2.1), --version (<= MariaDB 10.2.0)",
+            "cli": "-V, --version[=name]",
             "dynamic": false,
             "name": "version",
             "scope": [