diff -r 61fa9d626914 -r ec517ae81b39 public/assets/prettify
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/public/assets/prettify	Sat Sep 12 00:00:43 2015 +0200
@@ -0,0 +1,1 @@
+/usr/share/javascript/prettify/
\ No newline at end of file