From mboxrd@z Thu Jan  1 00:00:00 1970
From: bjorn.forsman at gmail.com (=?UTF-8?Q?Bj=C3=B8rn_Forsman?=)
Date: Thu, 3 Jan 2019 08:56:03 +0100
Subject: [PATCH 1/1] ui-tree: provide link to about page for petty
 formatting
In-Reply-To: <20181228231534.15570-1-list@eworm.de>
References: <20181228231534.15570-1-list@eworm.de>
Message-ID: <CAEYzJUGk96PJTqs_dw-6xazR4iao=Lekn5kmDbVp-FUxV6-KvQ@mail.gmail.com>

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