Skip to content
Snippets Groups Projects
Commit 4ed9b3d9 authored by ComFreek's avatar ComFreek
Browse files

docs

parent 6daa6254
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
README.md
+ 4
− 0
View file @ 4ed9b3d9
......@@ -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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment