public/assets/prettify
author Vincent Tondellier <tonton+hg@team1664.org>
Sat, 12 Sep 2015 01:12:44 +0200
changeset 73 25df7947e5da
parent 72 ec517ae81b39
permissions lrwxrwxrwx
Add index on crash_time (it is used to sort the index page)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
72
ec517ae81b39 Fix path of prettify.js (may need change on != debian)
Vincent Tondellier <tonton+hg@team1664.org>
parents:
diff changeset
     1
/usr/share/javascript/prettify/