From b78523ff2c3349e98686871891028069edfa7523 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 20 Apr 2018 11:08:59 +0200
Subject: move etc/ files to the root and remove obsolete ones

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

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
new file mode 100644
index 0000000..848f504
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,15 @@
+Andrea Asperti      University of Bologna - Microsoft Inria Joint Centre
+Jeremy Avigad       Carnegie Mellon University - Microsoft Inria Joint Centre
+Yves Bertot         Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Cyril Cohen         LIX École Polytechnique - Microsoft Inria Joint Centre  	
+François Garillot   Microsoft Inria Joint Centre
+Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
+Stéphane Le Roux    Microsoft Inria Joint Centre
+Assia Mahboubi      Inria Saclay - Microsoft Inria Joint Centre
+Sidi Ould Biha      Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Ioana Pasca         Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Laurence Rideau     Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Alexey Solovyev     University of Pittsburgh
+Enrico Tassi        Inria Saclay - Microsoft Inria Joint Centre
+Laurent Théry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
+Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre
-- 
cgit v1.2.3