Skip to content

Improved local path completion#97

Merged
tleonhardt merged 1 commit intomasterfrom
path_completion
May 16, 2017
Merged

Improved local path completion#97
tleonhardt merged 1 commit intomasterfrom
path_completion

Conversation

@tleonhardt
Copy link
Copy Markdown
Member

If local path completion has a single result which is a directory, then a trailing path separator is appended for convenience.

This closes #96

If local path completion has a single result which is a directory, then a trailing path separator is appended for convenience.
@tleonhardt tleonhardt added this to the 0.7.1 milestone May 16, 2017
@tleonhardt tleonhardt self-assigned this May 16, 2017
@tleonhardt tleonhardt merged commit a353050 into master May 16, 2017
@tleonhardt tleonhardt deleted the path_completion branch May 16, 2017 17:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add final separator for path completion

1 participant