From 142a4ad4033e5995a9ee203f7183533d08be8e2e Mon Sep 17 00:00:00 2001 From: Anton Podkopaev Date: Mon, 19 Feb 2018 17:22:55 +0300 Subject: [PATCH] Update README.md --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index e2e51686a..552617ec3 100644 --- a/README.md +++ b/README.md @@ -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 - -