Skip to content
Snippets Groups Projects
Commit d02589e2 authored by Michael Sammler's avatar Michael Sammler
Browse files

rem readme

parent ef732d95
No related branches found
No related tags found
No related merge requests found
......@@ -41,8 +41,6 @@ Note that if you want to develop RefinedC or build the examples
shipped with RefinedC, you should install RefinedC according to the
instructions in [DEVELOPERS.md](DEVELOPERS.md).
(Note that the installation instructions were only tested on Linux.)
### tl;dr
Assuming an appropriate [opam](https://opam.ocaml.org/doc/Install.html) switch
......
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