j ed6226b824 add rename annotation menu item		2023-07-27 13:33:37 +02:00
..
home.bakma.js	add collectives	2018-03-08 08:19:27 +00:00
infoView.bakma.js	infopage fixes	2020-06-06 19:07:49 +02:00
localInit.bakma.js	add rename annotation menu item	2023-07-27 13:33:37 +02:00
renameAnnotationDialog.bakma.js	add rename annotation menu item	2023-07-27 13:33:37 +02:00