From 2431c98ed38ea98741a31b918d90bae0daec9230 Mon Sep 17 00:00:00 2001 From: Christian Wulf <chw@informatik.uni-kiel.de> Date: Fri, 5 Dec 2014 10:59:02 +0100 Subject: [PATCH] typo --- src/site/markdown/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/site/markdown/index.md b/src/site/markdown/index.md index e8b5e205..aa4956d3 100644 --- a/src/site/markdown/index.md +++ b/src/site/markdown/index.md @@ -28,9 +28,9 @@ The first stable release will be published soon. For more informations visit: ht ## What is it? -TeeTime is a Pipes-And-Filter-Framework for Java. +TeeTime is a Pipes-And-Filters-Framework for Java. -It provides various features, which will bring you to the next level of analysis programming, such like: +It provides various features, which will bring you to the next level of program analysis, such like: - Concurrent execution of stages -- GitLab