From 76ff24ad581ecc7ee53eaba40c6dbefa2aac7675 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Tue, 8 Mar 2016 13:21:36 +0100
Subject: adding AUTHORS file

---
 AUTHORS | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 AUTHORS

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
new file mode 100644
index 00000000..aed0f6d8
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,5 @@
+Marcello Stanisci
+Sree Harsha Totakura <sreeharsha@totakura.in>
+Florian Dold
+Christian Grothoff
+Benedikt Muller
-- 
cgit v1.2.3