Disassembler dc5718abbc Bump jQuery version to 3.3.1		2018-03-24 16:07:20 +01:00
..
apps.json	Rework portal and add portal-app-manager.py	2017-09-14 21:39:01 +02:00
jquery-3.3.1.min.js	Bump jQuery version to 3.3.1	2018-03-24 16:07:20 +01:00
script.js	Reflect possibility to have arbitrary properties in Portal	2017-12-03 22:46:23 +01:00