Remove description header (#610)

ultimate-pa · Apr 4, 2023 · 423630e · 423630e
1 parent 3b43573
commit 423630e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/trunk/source/WebsiteStatic/config/home_page/description.html b/trunk/source/WebsiteStatic/config/home_page/description.html
@@ -1,4 +1,3 @@
-<h3>Description</h3>
 <div class="col-12">
   <p><span style="font-variant:small-caps">Ultimate</span> is a program analysis framework.
     <span style="font-variant:small-caps">Ultimate</span> consists of several plugins that perform steps of an