From b0b2f513315d6fbac97b0fa4c483654800915083 Mon Sep 17 00:00:00 2001 From: Andreas Gudian Date: Wed, 12 Aug 2015 19:05:47 +0200 Subject: [PATCH] Adding Ivo to the list of contributors --- copyright.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/copyright.txt b/copyright.txt index f9033b73c..597465ec5 100644 --- a/copyright.txt +++ b/copyright.txt @@ -6,6 +6,7 @@ Christian Schuster Dilip Krishnan Ewald Volkert Gunnar Morling +Ivo Šmíd Michael Pardo Paul Strugnell Remko Plantenga