From c27ddc5567c9f84b87b75c5e04b9bb627a5341e7 Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Fri, 6 Apr 2012 13:01:52 +0200 Subject: [PATCH] logo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 99777b1d..c6f9fc89 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500"> +<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500" align="center"> # The ProB Model Checker and Animator -- GitLab