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
Closed
Minor edits to what_is.md, getting_started.md, and terminology_and_concepts.md#280gregorgorjanc wants to merge 1 commit intotskit-dev:mainfrom
gregorgorjanc wants to merge 1 commit intotskit-dev:mainfrom