commit 2f82e43f1895ab9c9a63fa5541a47f00c74ca1cf parent c9545b0619a514998ba56f5b2cd73a82d86102af Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Tue, 8 Mar 2016 13:22:03 +0100 adding AUTHORS file Diffstat:
| M | AUTHORS | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/AUTHORS b/AUTHORS @@ -1,3 +1,5 @@ +Marcello Stanisci +Gabor Toth Sree Harsha Totakura <sreeharsha@totakura.in> Florian Dold Christian Grothoff