Skip to content

Conversation

@jwcarman
Copy link

@jwcarman jwcarman commented Aug 1, 2016

No description provided.

@jbonofre
Copy link
Member

jbonofre commented Aug 9, 2016

R: @jbonofre

@asfgit asfgit closed this in 09490d9 Aug 9, 2016
gnodet pushed a commit to gnodet/karaf that referenced this pull request Jan 5, 2018
Add a comment to make sure that commented out keymaps are still commented out after merges.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants