Skip to content

Rename properties traits and structures

vlorentz requested to merge properties-traits into master

I find them clearer this way

Merge request reports