From: Benno Schulenberg <bensberg@telfort.nl>
Date: Sun, 2 May 2021 10:38:51 +0000 (+0200)
Subject: add a screenshot of a lean 5.7
X-Git-Url: https://git.wh0rd.org/?p=nano-editor.git;a=commitdiff_plain;h=b1d6db0925ae654ed1f4b438f2f02e266d907065;hp=b1d6db0925ae654ed1f4b438f2f02e266d907065

add a screenshot of a lean 5.7
---