Doug Kelly c4e8ae3291 Update prettify to March 4, 2013 release ... Updated version of prettify: in addition to adding new syntax highlighters, it appears to run much better in IE versions >8. This would manifest as an unhandled JavaScript exception. Additionally, formatting appeared to not work well in IE standards mode and Safari because the @media selector was getting mangled by GWT. This was fixed in an update to GWT 2.5.1. Change-Id: Idcc095dac1007c6794e9f67fa12a92b01695d5cf		2013-09-18 13:06:19 -05:00
..
java/com/google/gerrit/prettify	Update prettify to March 4, 2013 release	2013-09-18 13:06:19 -05:00
resources/com/google/gerrit/prettify/client	Update prettify to March 4, 2013 release	2013-09-18 13:06:19 -05:00