From fc62a8dcc2ed33b6f2f01eb03c488d32900ce5fb Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Jul 2006 15:22:21 +0000
Subject: [PATCH] fixed the number of columns in the clusters table

---
 matita/help/C/sec_commands.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/help/C/sec_commands.xml b/matita/help/C/sec_commands.xml
index 636eac8dc..1644c85bd 100644
--- a/matita/help/C/sec_commands.xml
+++ b/matita/help/C/sec_commands.xml
@@ -139,7 +139,7 @@
            </para>
            <table>
             <title>clusters</title>
-            <tgroup cols="5">
+            <tgroup cols="6">
             <thead>
              <row>
               <entry>name</entry>
-- 
2.39.2