diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/getting-started.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/getting-started.md b/docs/getting-started.md index 07925ac9..9a4aa3fb 100644 --- a/docs/getting-started.md +++ b/docs/getting-started.md @@ -33,7 +33,7 @@ Contents of the user folder includes: - `plugins/`: Folder containing all manually installed user plugins - `repositories/`: Folder containing files and plugins managed by the [Plugin Manager API](https://api.binary.ninja/binaryninja.pluginmanager-module.html) - `settings.json`: User settings file (see [settings](#settings)) -- `keybindings.json`: Custom key bindings (see [key bindings](#custom-keybindings)) +- `keybindings.json`: Custom key bindings (see [key bindings](#custom-hotkeys))  |