From 0a114e788b937e43db13035e6fca1bfe78610c28 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 6 Apr 2012 13:01:19 +0200
Subject: [PATCH] logo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 75a85cb9..99777b1d 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-<img src="logo.png">
+<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500">
 
 # The ProB Model Checker and Animator
 
-- 
GitLab