docs

Aug 12, 2020

37d8ee6 · Aug 12, 2020

Name	Name	Last commit message	Last commit date
parent directory ..
contributors	contributors	Embed version at link time based on git tags instead of a file.	Jul 21, 2020
design	design	Fix typos	Aug 12, 2020

Provide feedback