From 21edba3c650e7d655efb46e339e6dfffe88f77ea Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sat, 2 Mar 2019 19:01:33 +0000 Subject: [PATCH] Test --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c7c926f..e441089 100644 --- a/README.md +++ b/README.md @@ -2,4 +2,4 @@ Run `./build_cudd.sh` to build CUDD. - +Work-In-Progress