Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Add contextual link to source file on GitHub in devel-doc #648
Conversation
|
Tested all three dev docs content pages with both Iceweasel (Firefox) and Chromium. No bugs found, so LGTM. Thanks! |
icook
commented on an outdated diff
Nov 17, 2014
icook
commented
Nov 17, 2014
|
Other than the minor typo looks great! Thanks for all the work. |
|
@icook Good catch! Fixed and updated the live preview. |
saivann
added a commit
that referenced
this pull request
Nov 18, 2014
saivann
merged commit 42df526
into
master
Nov 18, 2014
saivann
deleted the
develdocedit branch
Nov 18, 2014
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
saivann commentedNov 17, 2014
As discussed in #647
Live preview: (Merged)
In the absence of critical feedback, this pull request will be merged on November 18th.