GUI: rm UIntProperty and UIntDescriptor (!1147) · Merge requests · mlz / BornAgain · GitLab

Mikhail Svechnikov requested to merge from_UIntDescriptor into main Nov 23, 2022

UIntProperty is replaced by uint type.

UIntProperty and UIntDescriptor classes are deleted.