fix toc

2024-08-08 13:41:37 +02:00
parent e912b2e685
commit 432ed74f4c
3 changed files with 12 additions and 13 deletions
@@ -1,10 +1,4 @@
 # Puppet

-[Puppet](https://puppet.com/docs/puppet) is the *configuration management system* used to configure the hosts.
-
-Our [Puppet Dashboard](https://puppet01.psi.ch/puppetboard) gives an overview over all systems managed using Puppet at PSI.
-
-Contents:
-
 ```{tableofcontents}
 ```