tree 44973157f7aad6bd3f142e111bc639d54243c973
parent feeb918ea8664dab421630a908f1b3b0db922857
author Davide Pesavento <davidepesa@gmail.com> 1586118986 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1586201541 -0400

build+docs: switch to python3, refresh FAQ and INSTALL documents

Refs: #5095
Change-Id: Icdc0e9463b28c07783edbe392a9bc47136947e3b