diff --git a/README.md b/README.md index 2bb59f319d553798f9e1c1540bc01653a670548a..7ea6750a286aabe26054ae4c2a3d14b6711afb24 100644 --- a/README.md +++ b/README.md @@ -23,7 +23,6 @@ See the above links for details. * `projects/*.md`: the KWARC project descriptions * `public/*`: all static files (images, js, css, etc) * `public/*.md`: descriptions of the research areas -* `students/*.md`: pages for students * `systems/*.md`: descriptions of the KWARC sytems * `courses/*.md`: KWARC courses (this may be obsoleted by univis)