|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
I have modified the script and issued this pull: https://github.com/jboss-jdf/jboss-as-quickstart/pull/542.
However, Peter also mentioned the project containing the pygments.css script disappeared: https://raw.github.com/github/github-flavored-markdown/gh-pages/shared/css/pygments.css
I found a version that must have been done by Pete, but I tested it and it doesn't render like it used to either: https://raw.github.com/pmuir/github-flavored-markdown/gh-pages/shared/css/pygments.css