diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-08 13:21:36 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-08 13:21:36 +0100 |
commit | 76ff24ad581ecc7ee53eaba40c6dbefa2aac7675 (patch) | |
tree | 4bcd97c4aac9a3caaec2edfcd57aa1a78ff07921 /AUTHORS | |
parent | 33c392da07b8c3b4d077d50d4b52f2c1e16eb55e (diff) | |
download | docs-76ff24ad581ecc7ee53eaba40c6dbefa2aac7675.tar.gz docs-76ff24ad581ecc7ee53eaba40c6dbefa2aac7675.tar.bz2 docs-76ff24ad581ecc7ee53eaba40c6dbefa2aac7675.zip |
adding AUTHORS file
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 5 |
1 files changed, 5 insertions, 0 deletions
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 |