Ah, interesting. I'll take a look at that later (who knows how later...)
On Wed, Jun 20, 2018 at 1:35 AM Ingo Weinhold <ingo_weinhold@xxxxxx> wrote:
On 20.06.2018 05:45, waddlesplash wrote:
571def71147a: WebPositive: Store default bookmarks in git instead of
downloading them.
No functional change. Ideally we would create these via ResAttr like we
do
the mail-providers, but these have attributes on their directories and
not
just the files, so that will be slightly trickier, so for now just keep
them
in their zip format.
You may find src/data/mime_db/Jamfile useful. We generate the MIME DB
supertypes -- which are represented as directories with attributes --
the same way.
CU, Ingo
