[PATCH 1/1] ui-tree: provide link to about page for petty formatting

[Bjørn Forsman]

On Sat, 29 Dec 2018 at 00:17, Christian Hesse <list at eworm.de> wrote:
> From: Christian Hesse <mail at eworm.de>
>
> We have an ongoing discussion about display filters and pretty
> formatting in tree view. How about providing a link to about page
> for petty formatting?

s/petty/pretty/ ?

Best regards,
Bjørn Forsman