use lowercase file names for documentation

This commit is contained in:
Jörg Thalheim 2023-05-14 14:02:13 +02:00
parent 3d7a2ed854
commit 2ae380700c
3 changed files with 0 additions and 0 deletions