From 2309c5e2546768e49ec928a4899a2a215109aa6f Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 18 Jan 2017 23:48:09 +0100 Subject: [PATCH] fix link to getting started in readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4259d19c9..ffcc3bc5c 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ Storm ============================== -For more instructions, check out the documentation found in [Getting Started](doc/getting-started.md) +For more instructions, check out the documentation found in [Getting Started](https://moves-rwth.github.io/storm/getting-started.html) Benchmarks