gareth 51be488f4a Added usersessions/delete function 17 lat temu
..
usersessions 51be488f4a Added usersessions/delete function 17 lat temu
gridserver_config.inc.php 8bb7f6a48e REST half-implemented 18 lat temu
index.php 27128c53f2 Imported gareth's ogs branch thingy 18 lat temu