Sat, 12 Sep 2015 00:00:43 +0200 Vincent Tondellier Fix path of prettify.js (may need change on != debian)
Fri, 11 Sep 2015 23:56:35 +0200 Vincent Tondellier Merge with other head
(0) -30 -10 -2 +2 +10 +30 tip