- update to r231 of google-code-prettify (fixed issue 262 : prefixes of CSS ID selectors that were hex digits colorized differently from suffix)
3 files changed
tree: 88205214062e6eaa2fea98e8217ed4ad67b00fd8
  1. javadoc/
  2. nbproject/
  3. src/
  4. test/
  5. build.xml
  6. manifest.mf