diff options
author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-09-02 08:31:17 +0000 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-09-02 08:31:17 +0000 |
commit | 3cd049fd6334a985365084b00ba14c6bf426b1f5 (patch) | |
tree | 82f5b033600e29607f80b43b3f69fb124b0fe441 /dev/rules/user_defined_rules/options/index.html | |
parent | ff88b42ecd72363263666c7f366cc4632bad7642 (diff) |
Diffstat (limited to 'dev/rules/user_defined_rules/options/index.html')
-rw-r--r-- | dev/rules/user_defined_rules/options/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/rules/user_defined_rules/options/index.html b/dev/rules/user_defined_rules/options/index.html index 690b14b..6ee1139 100644 --- a/dev/rules/user_defined_rules/options/index.html +++ b/dev/rules/user_defined_rules/options/index.html @@ -19,7 +19,7 @@ <link rel="next" href="../rule_format_spec/"> <link rel="icon" href="../../../assets/images/favicon.png"> - <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.9"> + <meta name="generator" content="mkdocs-1.5.2, mkdocs-material-9.1.9"> |