Merge pull request #523 from DurandA/patch-5
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 14 May 2020 05:17:46 +0000 (07:17 +0200)
committerGitHub <noreply@github.com>
Thu, 14 May 2020 05:17:46 +0000 (07:17 +0200)
Update litex_term help


Trivial merge