ines 4a3bea00c7 Update resources [ci skip]		2018-04-26 22:10:34 +02:00
..
css	Add videos section to resources	2017-11-13 08:29:57 +01:00
fonts	Update web fonts	2017-10-03 14:15:36 +02:00
img	Update resources [ci skip]	2018-04-26 22:10:34 +02:00
js	Update syntax theme (should move the modifications out to an extension sometime)	2017-11-17 19:13:53 +01:00