Doc: rename the modified files

This commit is contained in:
glx 2019-10-19 15:51:53 +02:00 committed by Charles Pigott
parent a70b6fcece
commit 3575dd551c
5 changed files with 0 additions and 0 deletions