From 07359a25960b7161a84c1e7f79e58096c4d24520 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 20 Sep 2016 08:12:03 +0100 Subject: [PATCH] Fixed markdown. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c3d92e1..6aa2659 100644 --- a/README.md +++ b/README.md @@ -53,7 +53,7 @@ mvn -P wala clean install -DskipTests=true -q ``` After this, all projects can be imported into a fresh Eclipse workspace using `File -> Import -> Maven -> Existing Maven Projects`: - 1. Select the DASCA ``src`` folder as source for the import + 1. Select the DASCA `src` folder as source for the import 2. Import all offered projects (WALA and DASCA) While some Wala projects may contain compilation errors, all DASCA