Merged.
BR
Martin
> On 29. Aug 2022, at 23:22, Willow Liquorice wrote:
>
> Right, well, I've cleaned up dev/willow/doxygen_comments and pushed it. It's
> in a suitable position to be merged; I can resume work on another
> branch.
>
> I've opened an issue (https://bugs.gnunet.org/view.php?id=7
Right, well, I've cleaned up dev/willow/doxygen_comments and pushed it.
It's in a suitable position to be merged; I can resume work on another
branch.
I've opened an issue (https://bugs.gnunet.org/view.php?id=7314) where we
can coordinate clearing redundant Doxygen comments. It's lighter work
> On 26. Aug 2022, at 23:41, Willow Liquorice wrote:
>
> Hello again,
>
> I've put a .gitignore in doc/doxygen on my local dev/willow/doxygen, so the
> Doxygen output (along with other autogenerated files) doesn't get tangled up
> in the git history. Should .gitignore include gnunet.tag too?
