@elextr commented on this pull request.
In workbench/README:
> @@ -101,18 +101,18 @@ These are the available items: **Directory settings** Select this item to change the directory settings. It is only available if you right clicked inside of a project directory. In the directory - settings you can set a filter which controls the files and folders + settings you can set a filter which controls the files and sub-directories that shall be displayed or not.
More idiomatic to say "will" in this context.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.