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

Switch to github fork of prettify #4

Merged
merged 1 commit into from May 17, 2016

Conversation

jean
Copy link
Contributor

@jean jean commented May 16, 2016

@jean jean mentioned this pull request May 16, 2016
@jean
Copy link
Contributor Author

jean commented May 17, 2016

This is the pull request ;-)

@peterhellberg peterhellberg merged commit 61f917e into peterhellberg:master May 17, 2016
@peterhellberg
Copy link
Owner

Sorry, I was looking through my issues list and didn’t notice that it was a PR ;)

@jean
Copy link
Contributor Author

jean commented May 17, 2016

Hehe :-)
Just a note, here's some background on rawgit: https://github.com/rgrove/rawgit/wiki/Frequently-Asked-Questions
It's not from github; it's possible to use just rawgit.com for dev (non-CDN); it may be a good idea to link to a version tag in case prettify gets any updates.

@peterhellberg
Copy link
Owner

I’ve been thinking of skipping the dependency on prettify if it becomes an issue (Since we don’t strictly need to have highlighting of responses)

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

Successfully merging this pull request may close these issues.

None yet

2 participants