Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Automatically close bookmarks' quickfix split. #45

Merged
merged 1 commit into from
May 20, 2014

Conversation

sbt-88
Copy link

@sbt-88 sbt-88 commented May 20, 2014

No description provided.

@MattesGroeger MattesGroeger added this to the 1.2.0 milestone May 20, 2014
MattesGroeger pushed a commit that referenced this pull request May 20, 2014
Automatically close bookmarks' quickfix split.
@MattesGroeger MattesGroeger merged commit 041c586 into MattesGroeger:master May 20, 2014
@MattesGroeger
Copy link
Owner

Great, thank you very much for your contribution @sbt-88!

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants