Merge pull request #28 from dboulytchev/anlun-patch-1

Update README.md
This commit is contained in:
Anton Podkopaev 2018-02-19 17:23:40 +03:00 committed by GitHub
commit 7e9849df17
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