Florin Peter dc8bcf0688 reformat code		2013-06-03 18:42:13 +02:00
..
settings-admin.php	reformat code	2013-06-03 18:42:13 +02:00
settings-personal.php	let user update private key password in case it was changed from outside, e.g. external auth back-ends	2013-06-03 15:27:31 +02:00