diff --git a/README.md b/README.md deleted file mode 100644 index 3df555455894ea57aa0cff680ff4057c239277a5..0000000000000000000000000000000000000000 --- a/README.md +++ /dev/null @@ -1,2 +0,0 @@ -# rodin-handbook -[](https://travis-ci.org/hhu-stups/rodin-handbook)