From cd375825b66cfa939dbe009b8d7a131c9e11cbc3 Mon Sep 17 00:00:00 2001 From: Zsolt Ero Date: Wed, 23 Oct 2024 23:48:33 +0200 Subject: [PATCH] lint --- website/src/content/how_to_use/leaflet.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/website/src/content/how_to_use/leaflet.md b/website/src/content/how_to_use/leaflet.md index 0cd4f11..9f9136e 100644 --- a/website/src/content/how_to_use/leaflet.md +++ b/website/src/content/how_to_use/leaflet.md @@ -10,7 +10,7 @@ Include the following links and scripts in your page: - + @@ -22,11 +22,10 @@ Initialize it to a div like this: ```html
```