zmagod 897e34a23b reinitialize highlight.js after ajax call		2016-12-16 11:44:42 +01:00
..
result_assets.js	clean comments date duplication [fixes SCI-469]	2016-10-05 08:42:32 +02:00
result_tables.js.erb	Removed unneeded ERB tags, which caused error. Minor refactoring.	2016-10-17 11:57:47 +02:00
result_texts.js	reinitialize highlight.js after ajax call	2016-12-16 11:44:42 +01:00