Sat, 12 Sep 2015 00:00:43 +0200 Fix path of prettify.js (may need change on != debian)
Vincent Tondellier <tonton+hg@team1664.org> [Sat, 12 Sep 2015 00:00:43 +0200] rev 72
Fix path of prettify.js (may need change on != debian)
(0) -30 -10 -1 +1 +10 +30 tip