From 57d1f08dbca256f5fe16d57b29bfa523dec8f6c4 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 8 Jan 2015 18:37:20 +0100 Subject: -initial import for mint --- AUTHORS | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 AUTHORS (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 00000000..75e08df1 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,4 @@ +Sree Harsha Totakura +Florian Dold +Christian Grothoff +Benedikt Mueller -- cgit v1.2.3