From c5ed37ae27e6dce75857cce4ab2147e51b7ea8e0 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 25 Dec 2019 12:18:08 +0100 Subject: last touches --- AUTHORS | 3 +++ 1 file changed, 3 insertions(+) (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS index e69de29..4481ea2 100644 --- a/AUTHORS +++ b/AUTHORS @@ -0,0 +1,3 @@ +Marco Boss +Dominik Hofer +Christian Grothoff -- cgit v1.2.3