Danny Bessems a20f13ab7c Babysteps towards cross-domain-cookies-in-iframes		2019-03-13 09:59:12 +00:00
..
script.editable.table.js	Managementinterface retrieves data from database;	2019-03-04 10:43:08 +01:00
script.index.js	Managementinterface retrieves data from database;	2019-03-04 10:43:08 +01:00
script.manage.js	Babysteps towards cross-domain-cookies-in-iframes	2019-03-13 09:59:12 +00:00
script.translation.js	Implemented GUI aspect of usermanagement page	2019-03-06 14:21:47 +01:00
style.button.css	Migrated IDE platform; accepting nonexisting diffs to make IDE happy	2019-02-27 21:39:31 +01:00
style.css	Implemented GUI aspect of usermanagement page	2019-03-06 14:21:47 +01:00
style.panes.css	Implemented GUI aspect of usermanagement page	2019-03-06 14:21:47 +01:00
style.theme.css	Refactored template; make main content scrollable without overflow	2019-03-05 11:14:17 +01:00