Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Improve Listener docs #273

Merged
merged 2 commits into from Aug 12, 2019
Merged

Improve Listener docs #273

merged 2 commits into from Aug 12, 2019

Conversation

claremacrae
Copy link
Contributor

Description

Minor changes to the reporters/listeners docs, to try to clarify the two options.

Whilst there, I also added CLion cases to the .gitignore.

GitHub Issues

This slightly updates the docs added for #257 - and it replaces the closed PR #272 which was in to the master branch by mistake.

@onqtam onqtam merged commit 5ee84b4 into doctest:dev Aug 12, 2019
@onqtam
Copy link
Member

onqtam commented Aug 12, 2019

Thanks for this :)

@claremacrae claremacrae deleted the listener_docs branch August 12, 2019 07:08
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.

None yet

2 participants