Adding Property related Rules#26
Merged
floriankraemer merged 19 commits intomasterfrom Feb 9, 2026
Merged
Commits
Commits on Jan 13, 2026
- committed
Florian Krämer - committed
Florian Krämer
Commits on Feb 4, 2026
Commits on Feb 9, 2026
- committed
Florian Krämer - committed
Florian Krämer - andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

- committed
Florian Krämer - committed
Florian Krämer - committed
Florian Krämer - committed
Florian Krämer - committed
Florian Krämer - committed
Florian Krämer