From fcc4574ea7cc4e3b37f3205f17232cfd8283370a Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 24 Nov 2011 14:58:32 +0100
Subject: [PATCH] Cleanup project & readme

---
 README.md | 5 ++++-
 lukas.txt | 1 -
 2 files changed, 4 insertions(+), 2 deletions(-)
 delete mode 100644 lukas.txt

diff --git a/README.md b/README.md
index 8585d570..bb7bfcd1 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,4 @@
-# ProB
+# The ProB Model Checker and Animator
+
+(C) 2000-2010 by Michael Leuschel
+All rights reserved
diff --git a/lukas.txt b/lukas.txt
deleted file mode 100644
index 41f5a200..00000000
--- a/lukas.txt
+++ /dev/null
@@ -1 +0,0 @@
-Hi :-)
\ No newline at end of file
-- 
GitLab