Rename definitions

This commit is contained in:
Slava Mudry 2022-10-17 04:22:04 +00:00 committed by You
parent 83fa432845
commit 930cabcd7d

Diff Content Not Available