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 2fb408d758..f6adc66b96 100644 --- a/docs/CREDITS +++ b/docs/CREDITS @@ -100,3 +100,4 @@ Jonas Häggqvist Thom Johansen Rinat Zakirov Manuel Dejonghe +Michiel van der Kolk |