diff options
Diffstat (limited to 'docs/CREDITS')
| -rw-r--r-- | docs/CREDITS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/CREDITS b/docs/CREDITS index 00293a9..c10f802 100644 --- a/docs/CREDITS +++ b/docs/CREDITS @@ -16,3 +16,4 @@ Patches (alphabetical order): * Oliver Osburg <o.osburg@uni-jena.de> * Otavio Salvador <otavio@debian.org> * Sebastian Raveau <sebastien.raveau@epita.fr> + * Thomas Lange <lange@informatik.uni-koeln.de> |