From 40334b48b6937ef6be12db2868d102cda037ca18 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Thu, 2 Feb 2017 07:17:31 +0100 Subject: [PATCH] comment was showing --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index c20fe07..7357d69 100644 --- a/README.md +++ b/README.md @@ -46,5 +46,3 @@ their discussion areas. [OpenDreamKit](http://opendreamkit.org) EU project) * Cognitive engineering (semantische information/help systems for CAD/CAM systems). * Corpus Linguistics for Mathematics: -<!-- LocalWords: ssem - --> -- GitLab