From 9bd8f35d3929c7b8bd3ad30b564bb7ebe8f1f322 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 18:44:57 +0100 Subject: [PATCH 1/1] comment removed --- matita/components/syntax_extensions/dune | 1 - 1 file changed, 1 deletion(-) diff --git a/matita/components/syntax_extensions/dune b/matita/components/syntax_extensions/dune index c36e49904..9f4dbf70b 100644 --- a/matita/components/syntax_extensions/dune +++ b/matita/components/syntax_extensions/dune @@ -1,5 +1,4 @@ (executable - ;(public_name make_table) (name make_table) (libraries helm_xml) (modules make_table)) -- 2.39.2