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: removing the double arrows in safari browser #53

Closed BessemMnif closed 2 years ago

BessemMnif commented 2 years ago