brantje 306bdbda8b Show message if an credential is expired		2016-10-03 23:00:46 +02:00
..
bookmarklet.js	Add bookmarklet	2016-10-01 17:21:24 +02:00
credential.js	Show editor name at revision	2016-10-03 22:06:55 +02:00
edit_credential.js	Show editor name at revision	2016-10-03 22:06:55 +02:00
export.js
import.js
main.js
menu.js
public_shared_credential.js	Show message if an credential is expired	2016-10-03 23:00:46 +02:00
revision.js
settings.js	Add bookmarklet	2016-10-01 17:21:24 +02:00
share.js	Rename file	2016-10-03 20:41:30 +02:00
share_settings.js	Sharing settings improvements	2016-10-01 19:04:05 +02:00
vault.js