tree 88205214062e6eaa2fea98e8217ed4ad67b00fd8
parent 07be502eca955459575200a773bcc5b7a3c0b5f6
author marc.strapetz <marc.strapetz@gmail.com> 1365677208 +0000
committer marc.strapetz <marc.strapetz@gmail.com> 1365677208 +0000

- update to r231 of google-code-prettify (fixed issue 262 : prefixes of CSS ID selectors that were hex digits colorized differently from suffix)