tango-controls / jive

Jive is a standalone JAVA application designed to browse and edit the static TANGO database. jive moved to https://gitlab.com/tango-controls/jive
10 stars 6 forks source link

Fix typos propety(ies) => property(ies) #51

Closed bourtemb closed 6 years ago