diff options
| author | Jordan Wiens <jordan@psifertex.com> | 2021-08-15 12:06:32 -0400 |
|---|---|---|
| committer | Jordan Wiens <jordan@psifertex.com> | 2021-08-15 12:06:32 -0400 |
| commit | b5291bc9bb59ad4db5dd78b4f89a04354479709a (patch) | |
| tree | 50680fb7135462f1ce11f937f96ca1a5f9c8bce0 | |
| parent | e7a9d025c35410a7ac187f8c9a2b8eb20641ebe9 (diff) | |
small fix in title of user plugin help
| -rw-r--r-- | mkdocs.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -36,7 +36,7 @@ nav: #- Interface: 'guide/interface.md' #- Patching: 'guide/patching.md' #- SCC: 'guide/scc.md' - - Using and Writing Plugins: 'guide/plugins.md' + - Using Plugins: 'guide/plugins.md' - Troubleshooting: 'guide/troubleshooting.md' - Working with Types: 'guide/type.md' - Developer Guide: |