From a653490a8ae53562a4855bb63f1e7dad8c4588f0 Mon Sep 17 00:00:00 2001 From: johannes-wolf Date: Wed, 3 Jan 2024 19:19:30 +0100 Subject: [PATCH] doc: Remove space --- manual.typ | 2 -- 1 file changed, 2 deletions(-) diff --git a/manual.typ b/manual.typ index bdb27a13f..b1a986c96 100644 --- a/manual.typ +++ b/manual.typ @@ -194,9 +194,7 @@ set-style( ), ) rect((0,0), (1,1)) - line((0, -1.5), (0.5, -0.5), (1, -1.5), close: true) - circle((0.5, -2.5), radius: 0.5, fill: green) ```