Skip to content

Minor edits to what_is.md, getting_started.md, and terminology_and_concepts.md#280

Closed
gregorgorjanc wants to merge 1 commit intotskit-dev:mainfrom
gregorgorjanc:main
Closed

Minor edits to what_is.md, getting_started.md, and terminology_and_concepts.md#280
gregorgorjanc wants to merge 1 commit intotskit-dev:mainfrom
gregorgorjanc:main

Commits