From ec8c8305300e5f006e8cdf4c00d5947266449ba3 Mon Sep 17 00:00:00 2001
From: Pavel 'LEdoian' Turinsky <ledoian@matfyz.cz>
Date: Wed, 5 Apr 2023 12:33:58 +0200
Subject: [PATCH] Do not draw labels by default

---
 envelope.asy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/envelope.asy b/envelope.asy
index 7e52b8c..497775e 100644
--- a/envelope.asy
+++ b/envelope.asy
@@ -19,7 +19,7 @@ string envfmt = "C6";
 // A6: 105 x 148 mm
 
 // debugging tool
-bool with_labels = true;
+bool with_labels = false;
 
 
 // It is unpractical to try emulating second quadrant. We will work in the