log libgui/src/documentation-bookmarks.h @ 29330:b92614cfdfed

age author description
Sun, 10 Jan 2021 14:04:35 +0100 Torsten Lilge add bookmark functionality to the documentation browser (bug #54938)