Update README.md

This commit is contained in:
Anton Podkopaev 2018-02-19 17:22:55 +03:00 committed by GitHub
parent 0a1922520b
commit 142a4ad403
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,5 +12,3 @@ Building:
* `opam install GT`
* To build the sources: `make` from the top project directory
* To test: `test.sh` from `regression` subfolder