Revert definitions

This commit is contained in:
George Tankersley 2023-03-31 07:10:13 +00:00 committed by Edoardo Longo
parent c3eebc22f8
commit dcb25ba33e

File diff suppressed because one or more lines are too long