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
..
.settings	Remove timestamp from all org.eclipse.core.resources.prefs files.	2012-07-04 14:06:09 +02:00
src/main	Update prettify to March 4, 2013 release	2013-09-18 13:06:19 -05:00
.gitignore	Add Intellij IDEA files to ignore list	2012-05-03 13:17:43 -07:00
BUCK	Build with Buck	2013-05-09 13:40:36 +00:00