RGTraitDescriptionDefinition.st
changeset 5 5cc2caa88b23
parent 0 43cb9f3e345e