Definitions: cleanup

This commit is contained in:
Shahram Najm 2023-08-21 18:56:17 +01:00
parent 47588fd277
commit 33cd110bd1
4 changed files with 17 additions and 17 deletions