Rename repo from debugger.html to debugger #8009
Merged
Conversation
6f942a5
to
3ccb0da
|
Once this gets the go-ahead, I can replace all instances of debugger.html with debugger in the docs, if necessary. |
c0b31b4
to
e6ed016
|
Thanks @kevinmorehouse, that'd be great! |
jasonLaster
added a commit
that referenced
this pull request
Feb 22, 2019
Updated doc to reflect new name of repository (_debugger_) and removed old references to old repository name (_debugger.html_), as decided in PR #8009 Also made one capitalization change on line 60.
|
@jasonLaster |
jasonLaster
added a commit
that referenced
this pull request
Feb 25, 2019
jasonLaster
pushed a commit
that referenced
this pull request
Mar 7, 2019
Updated doc to reflect new name of repository (_debugger_) and removed old references to old repository name (_debugger.html_), as decided in PR #8009 Also made one capitalization change on line 60.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Fixes #7997