Danny Bessems f9664eab18 Periodic merge upstream ... Resolved merge conflicts		2019-03-13 10:44:00 +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.theme.js	Refactored template; make main content scrollable without overflow	2019-03-05 11:14:17 +01:00
script.translation.js	Implemented GUI aspect of usermanagement page	2019-03-06 14:21:47 +01:00
style.button.css	Periodic merge upstream (#1)	2019-02-28 14:31:10 +00:00
style.css	Periodic merge upstream	2019-03-13 10:44:00 +00: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