minor deletion

This commit is contained in:
Thomas Berker 2023-08-22 08:50:36 +02:00
parent 6b325043b8
commit 7129780f6b

View file

@ -6,7 +6,7 @@ All files including the readings are published as releases (see the releases-but
<!-- markdown-toc start - Don't edit this section. Run M-x markdown-toc-refresh-toc -->
# Table of Contents
'
- [About the course](#about-the-course)
- [Formalities](#formalities)
- [Lecturers ](#lecturers)