Merge pull request #173 from gsomlo/gls-git-revision
authorenjoy-digital <florent@enjoy-digital.fr>
Wed, 24 Apr 2019 20:42:36 +0000 (22:42 +0200)
committerGitHub <noreply@github.com>
Wed, 24 Apr 2019 20:42:36 +0000 (22:42 +0200)
build: handle exceptional case when litex/migen not deployed as git repo


Trivial merge