From cf478b2984c26fe8b845e71f1c86fb47660826d3 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 21 Mar 2018 17:11:39 +0100 Subject: [PATCH] Updated README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a415b376e..d30d82ad9 100644 --- a/README.md +++ b/README.md @@ -33,12 +33,12 @@ Storm has been developed at RWTH Aachen University. * Christian Dehnert * Sebastian Junges * Joost-Pieter Katoen +* Tim Quatmann * Matthias Volk ###### Developers (lexicographical order) * Philipp Berger * David Korzeniewski -* Tim Quatmann ###### Contributors (lexicographical order) * Dimitri Bohlender