JC Brand 34a4a70ae2 Move bookmarks into a modal		2022-10-01 10:52:08 +02:00
..
bookmarks-list.js	Move bookmarks into a modal	2022-10-01 10:52:08 +02:00
bookmarks.js	Move bookmarks into a modal	2022-10-01 10:52:08 +02:00