commit 76ff24ad581ecc7ee53eaba40c6dbefa2aac7675 parent 33c392da07b8c3b4d077d50d4b52f2c1e16eb55e Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Tue, 8 Mar 2016 13:21:36 +0100 adding AUTHORS file Diffstat:
| A | AUTHORS | | | 5 | +++++ |
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/AUTHORS b/AUTHORS @@ -0,0 +1,5 @@ +Marcello Stanisci +Sree Harsha Totakura <sreeharsha@totakura.in> +Florian Dold +Christian Grothoff +Benedikt Muller