tree 95ede0186aa65d83885512aeb460057c14f0afd5
parent 2ec22702b0b7fd3a49c361991b15b1a96c1fa6c0
author Dave Borowitz <dborowitz@google.com> 1398647567 -0600
committer Dave Borowitz <dborowitz@google.com> 1398708458 -0700

Remove prettify JS

Leave CSS, since the Java prettify port uses the same class names,
but does not redistribute the CSS.

Change-Id: I98c6b987298509b6b35d584ca9d7b1202fb0da14