diff options
author | rsiddharth <rsd@gnu.org> | 2017-09-25 02:01:17 +0000 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2017-09-25 02:01:17 +0000 |
commit | 7f6290279a8646e8f71fb6f04033f0a53752fa8f (patch) | |
tree | daba140104cee503f53e86b9d3658e5e85d71c43 /CONTRIBUTORS | |
parent | ed7044b52c1e0af4aa4f53b7366c1dcc1d2b6ba9 (diff) |
CONTRIBUTORS: Add François Revol.
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r-- | CONTRIBUTORS | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index e23e99d..fefff9b 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -1,2 +1,3 @@ +François Revol <revol@free.fr> jantwisted <janith@member.fsf.org> -rsiddharth <rsd@gnu.org>
\ No newline at end of file +rsiddharth <rsd@gnu.org> |