diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-02-13 20:59:30 -0800 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2019-02-20 09:35:10 +0000 |
| commit | 0be7451ddb82e31d5dd140756b185d1f3d85d4c7 (patch) | |
| tree | 9e55f43db2baf5402cd83b27293a534b5cd0ce78 /extras | |
| parent | 2cc29a5264d22185a97190eeb820a7ce4978eaf7 (diff) | |
docs: use python3 for make docs.
Change-Id: If62b5ef563523b400fb5160d0343210407905094
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions