Skip to content
Snippets Groups Projects
Commit 7ada3cbb authored by Ralf Jung's avatar Ralf Jung
Browse files

fix markdown

parent 4cf90c36
No related branches found
No related tags found
No related merge requests found
......@@ -15,7 +15,7 @@ fixed version of Ssreflect.
Run the following command to build the full development:
make
make
# STRUCTURE
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment