From 4ed9b3d9f3b6695015b57729e4c36eadea429a52 Mon Sep 17 00:00:00 2001 From: ComFreek <comfreek@outlook.com> Date: Mon, 26 Oct 2020 20:08:25 +0100 Subject: [PATCH] docs --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 791cec2..1852b93 100644 --- a/README.md +++ b/README.md @@ -14,6 +14,10 @@ Besides that, there is also - [`IntegrationTests/`](./source/IntegrationTests): contains some integration tests run by the unit tests in the frameit-mmt submodule of the UniFormal/MMT project +## Contributing + +See [`Scrolls/README.md`](./source/Scrolls) for how to write scrolls. + ## Authors See team <https://uframeit.github.io>. \ No newline at end of file -- GitLab