Lagrange [release]

Cleanup

Fri Oct 30 14:43:35 2020 +0200

 src/ui/documentwidget.c | 12 ------------
 src/ui/keys.c           |  5 ++---
 2 files changed, 2 insertions(+), 15 deletions(-)