From 4df23774d9c5ed527c86fa9178d0b37ae28a6617 Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Sat, 16 Aug 2014 15:40:52 +0200 Subject: [PATCH] main readme - minor formatting for markdown on bitbucket --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8c5b612..4efb155 100644 --- a/README.md +++ b/README.md @@ -22,7 +22,7 @@ Requirements - java JDK for compiling and running the mjc2wsl tool and the MJ compiler - ant for building and testing - - ant-contrib tasks are needed for some of the tasks + - ant-contrib tasks are needed for some of the tasks - FermaT for running the translated examples and applying the transformations (FermaT Maintanance Environment can be used) -- 2.25.1