search

eclipse / editdor

Eclipse ediTDor - A tool for simply designing W3C Thing Descriptions
https://eclipse.github.io/editdor/
38 stars 19 forks source link

fix: typos #18

Closed danielpeintner closed 3 years ago