more renamings

This commit is contained in:
Araq 2020-07-27 11:58:31 +02:00 • committed by Andreas Rumpf
commit 947ecd1257
2 changed files with 3 additions and 3 deletions