Jörg Prante 7058cfa211 drop last modified extra field from session, do not keep user profile in session		2024-04-19 17:12:22 +02:00
..
src	drop last modified extra field from session, do not keep user profile in session	2024-04-19 17:12:22 +02:00
build.gradle	do not use config any more	2024-03-25 17:10:12 +01:00