Rename documentation file.

This commit is contained in:
florian committed 2019-08-05 21:22:34 +02:00
1 parent 571fc9bd37
commit d4f6e344bb
1 file changed