81dece4be3238662d3b15538d2d8f1d1c7a9ba5d - java-prettify

commit: 81dece4be3238662d3b15538d2d8f1d1c7a9ba5d
[log] [tgz]
author: marc.strapetz <marc.strapetz@gmail.com>
Thu Apr 11 10:46:48 2013 +0000
committer: marc.strapetz <marc.strapetz@gmail.com>
Thu Apr 11 10:46:48 2013 +0000
tree: 88205214062e6eaa2fea98e8217ed4ad67b00fd8
parent: 07be502eca955459575200a773bcc5b7a3c0b5f6 [diff]

- 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