Skip to content

Manual cli tool name mode for local/from PR plugin install scripts - #3093

Closed
rinOfTheStars wants to merge 1 commit into
cursorless-dev:mainfrom
rinOfTheStars:local-plugin-fix
Closed

Manual cli tool name mode for local/from PR plugin install scripts#3093
rinOfTheStars wants to merge 1 commit into
cursorless-dev:mainfrom
rinOfTheStars:local-plugin-fix

Allow for manually setting the name of the IDE cli tool in the local …

1f2637a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs