diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/src/credits.dox (renamed from docs/src/thanks.dox) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/src/thanks.dox b/docs/src/credits.dox index eec6bf2cf..eec6bf2cf 100644 --- a/docs/src/thanks.dox +++ b/docs/src/credits.dox |