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 2e7e064faf..6b1d893d08 100644 --- a/docs/CREDITS +++ b/docs/CREDITS @@ -131,3 +131,4 @@ Frederic Devernay José M. Fandiño Gadi Cohen Naftali Goldstein +David Dent |