diff options
author | Thomas Buckley-Houston <tom@tombh.co.uk> | 2023-08-17 15:38:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-17 20:38:13 +0000 |
commit | 243557cb7ba021df6348ab415c6e4ce8fc681f7b (patch) | |
tree | 3d93c29f7e74e540370fd3786cb87157fe1d2787 | |
parent | 72c6b17ac7ed0916df81eddae6aecfe97e4f0917 (diff) |
docs: update `workspace` config key to `workspaces` (#1174)
-rw-r--r-- | docs/docs/config/config.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs/config/config.md b/docs/docs/config/config.md index 3918c665..50b1d7f2 100644 --- a/docs/docs/config/config.md +++ b/docs/docs/config/config.md @@ -166,7 +166,7 @@ filter_mode_shell_up_key_binding = "session" Defaults to the value specified for filter_mode. -### `workspace` +### `workspaces` This flag enables a pseudo filter-mode named "workspace": the filter is automatically activated when you are in a git repository. Defaults to false. |