Lagrange [release]

Merge branch 'dev' into release

=> Jaakko Keränen

Sat Sep 19 07:55:16 2020 +0300

Conflicts:

CMakeLists.txt

res/about/help.gmi

res/about/version.gmi

src/app.c

src/ui/documentwidget.c

=> Diff (Colored) | Diff (Colored, Plain Text) | 🔨 Patch

=> Parent c936711f | Parent fa5632e9 | Repository