diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 18:34:22 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 18:34:49 -0400 |
| commit | 3fb4147ad760df79d54ffa046ac94e6a5581daeb (patch) | |
| tree | ee58e733a2ad9e2e3c3a3485ddf50431526071d5 /AUTHORS | |
| parent | 54aa34fbae35502b98c1d8b2e7e920438e13faee (diff) | |
Add myself to list of authors
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -1,10 +1,11 @@ Current Authors/Maintainers: - David Aspinall (all) - Pierre Courtieu (coq) - Christoph Raffalli (phox) - Makarius Wenzel (isar) - + David Aspinall (all) + Pierre Courtieu (coq) + Clément Pit-Claudel (coq) + Christoph Raffalli (phox) + Makarius Wenzel (isar) + Previous Authors: Stefan Berghofer (isar) |