From 149d60957328315cf520fa72f8d4929113419412 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 09:06:31 +0200
Subject: [PATCH] reorg

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 2bb59f3..7ea6750 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)
 
-- 
GitLab