Change definitions

This commit is contained in:
Alon Gavrielov 2023-05-18 08:14:36 +00:00 committed by Nomura Ichiki
parent 6900317de5
commit 63f6fb6e8d

File diff suppressed because one or more lines are too long