Alex Muller f574cdd179 Use a different markdown library ... `marked` has some security vulnerabilities which have been unresolved for a while. `markdown` seems to be better supported.		2017-09-22 19:08:07 +01:00
..
datetime.js	Fix: wrong timestamps in admin tasks page	2017-02-27 17:51:00 +02:00
index.js	Use ui-select native clear button	2017-01-05 13:36:56 +02:00
markdown.js	Use a different markdown library	2017-09-22 19:08:07 +01:00