Skip to content

create additional hooks based on available shell extensions#29

Merged
dirk-thomas merged 1 commit intomasterfrom
shell_file_extension
Jul 19, 2018
Merged

create additional hooks based on available shell extensions#29
dirk-thomas merged 1 commit intomasterfrom
shell_file_extension

Conversation

@dirk-thomas
Copy link
Copy Markdown
Member

Fixes colcon/colcon-zsh#12. Replaces #27. Requires colcon/colcon-core#88.

Copy link
Copy Markdown

@mikaelarguedas mikaelarguedas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@dirk-thomas dirk-thomas merged commit d19021a into master Jul 19, 2018
@dirk-thomas dirk-thomas deleted the shell_file_extension branch July 19, 2018 21:22
@dirk-thomas dirk-thomas removed the review Waiting for review (Kanban column) label Jul 19, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Development

Successfully merging this pull request may close these issues.

2 participants