search

w3c / wot-scripting-api

Web of Things (WoT) Scripting API
http://w3c.github.io/wot-scripting-api/
Other
43 stars 28 forks source link

chore: update TS versions #501

Closed danielpeintner closed 1 year ago

danielpeintner commented 1 year ago

due to https://github.com/w3c/wot-thing-description/pull/1844

fixes https://github.com/w3c/wot-scripting-api/issues/499 and https://github.com/w3c/wot-scripting-api/issues/500