tinia
v0.1.2
Published
Tinia studio extension API: build extensions that enhance the Tinia notebook editor experience
Downloads
11
Readme
Tinia extension API
This package contains only the types for the Tinia extension API (tinia.d.ts
).
See Tinia extensions documentation for more information.