From 5a22a5f026302ba0fbadba33f17029caee16cba2 Mon Sep 17 00:00:00 2001
From: Martin Geisler <mgeisler@google.com>
Date: Mon, 20 Nov 2023 16:53:13 +0100
Subject: [PATCH] Remove unused "Summary" heading (#1485)

The first heading is not actually used, it just takes up space here and
in the PO files.
---
 src/SUMMARY.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 8fac6450..ec1fbcb2 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -1,5 +1,3 @@
-# Summary
-
 <!-- Keep first page as index.md to avoid giving it two names. -->
 [Welcome to Comprehensive Rust 🦀](index.md)
 - [Running the Course](running-the-course.md)