diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/CREDITS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/CREDITS b/docs/CREDITS index 6b1d893d08..0e1ec6384b 100644 --- a/docs/CREDITS +++ b/docs/CREDITS @@ -132,3 +132,4 @@ José M. Fandiño Gadi Cohen Naftali Goldstein David Dent +Frank Dischner |