Skip to content

Add rights property#72

Merged
cjcolvar merged 3 commits intomainfrom add-rights-propertyOct 3, 2022