Tobias Schwendemann 0e872e6bd1 [tinytoml] Initial port (#2836)
* [tinytoml] Initial port

This port works only using --head since no tags are provided by the
author.

* [tinytoml] Add stable REF and SHA512
2018-02-19 08:41:25 -08:00
..
2018-02-19 08:41:25 -08:00
2018-02-19 08:41:25 -08:00