Skip to content
This repository was archived by the owner on Nov 30, 2024. It is now read-only.

Include example id in JSON output. Fixes #2125. #2369

Merged
merged 1 commit into from
Jan 15, 2017
Merged

Include example id in JSON output. Fixes #2125. #2369

merged 1 commit into from
Jan 15, 2017

Conversation

xaviershay
Copy link
Member

@xaviershay xaviershay commented Jan 15, 2017

@JonRowe JonRowe merged commit c9cae29 into master Jan 15, 2017
@JonRowe
Copy link
Member

JonRowe commented Jan 15, 2017

LGTM

@JonRowe JonRowe deleted the issue-2125 branch January 15, 2017 23:54
JonRowe added a commit that referenced this pull request Jan 15, 2017
@xmik
Copy link
Contributor

xmik commented Jan 16, 2017

Seems like the word was "export" instead of "exclude". :)

@JonRowe
Copy link
Member

JonRowe commented Jan 16, 2017

"Include" :)

@xaviershay xaviershay changed the title Exclude example id in JSON output. Fixes #2125. Include example id in JSON output. Fixes #2125. Jan 22, 2017
@xaviershay
Copy link
Member Author

sorry words are hard :(

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants