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.

Sign up for GitHub

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

Jump to bottom

Fix relative source path references in output #128

Closed
wants to merge 1 commit into from
Closed

Fix relative source path references in output #128

wants to merge 1 commit into from

Conversation

kripod
Copy link

@kripod kripod commented Jan 13, 2017

No description provided.

@kripod kripod closed this Jan 13, 2017
@kripod kripod deleted the patch-1 branch January 13, 2017 22:22
@kripod kripod mentioned this pull request Jan 13, 2017
Open
@dylans
Copy link
Contributor

dylans commented Jan 15, 2017

@kripod I'm assuming this did not resolve #129 which is why you closed it?

@kripod
Copy link
Author

kripod commented Jan 15, 2017

@dylans It did, but it broke other functionality. I think that I located the issue (as seen in this PR), but the fix isn't correct.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@kripod @dylans