diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-08 13:22:03 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-08 13:22:03 +0100 |
commit | 2f82e43f1895ab9c9a63fa5541a47f00c74ca1cf (patch) | |
tree | f3f33d14d4c74599b6d7bf99fe2373b94f79c08f /AUTHORS | |
parent | c9545b0619a514998ba56f5b2cd73a82d86102af (diff) |
adding AUTHORS file
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +Marcello Stanisci +Gabor Toth Sree Harsha Totakura <sreeharsha@totakura.in> Florian Dold Christian Grothoff |