commit | 2b190d196f947426d5058d33c5f5ae5f61ce5dea | [log] [tgz] |
---|---|---|
author | Nicola Ferraro <ni.ferraro@gmail.com> | Wed Dec 04 17:02:58 2019 +0100 |
committer | Luca Burgazzoli <lburgazzoli@users.noreply.github.com> | Thu Dec 05 16:51:52 2019 +0100 |
tree | 3a452b8b8c25ee4f0d6f2a42a7e9046de9a618b1 | |
parent | b785984c8b3883b762b6cd53bd29c20f779b7503 [diff] |
Fix #1047: adding platform trait doc