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

debugging: rm dup eip:dis & savecore. #18

Closed
wants to merge 1 commit into from

Conversation

dwlf
Copy link
Contributor

@dwlf dwlf commented Apr 28, 2015

Also

  • Removed end of line spaces to make vim happy.

Also
- Removed end of line spaces to make vim happy.
@dwlf
Copy link
Contributor Author

dwlf commented Apr 28, 2015

Untested. First read through of the page. Those duplicates may be correct, specifically the "eip::dis". I thought it was better to file this untested then to leave it unfilled to when I have a chance to work through it.

@jclulow
Copy link
Member

jclulow commented Apr 29, 2015

The <eip::dis duplicate is a typographical error.

rmustacc pushed a commit that referenced this pull request Apr 30, 2015
@rmustacc
Copy link
Contributor

Resolved in 07250fe.

@rmustacc rmustacc closed this Apr 30, 2015
rmustacc pushed a commit that referenced this pull request Sep 12, 2015
@rzezeski
Copy link
Member

When are updates pushed to website? I came across these mistakes today and was about to make a patch until this change caught my eye in the commit history.

@rmustacc
Copy link
Contributor

@rzezeski I'm not sure. @jclulow would know how that works and perhaps @richlowe .

@bdha bdha mentioned this pull request Oct 4, 2015
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants