projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0e5dbc4 1d14849)
Merge branch 'master' of https://github.com/YosysHQ/yosys into gowin
authorPepijn de Vos <pepijndevos@gmail.com>
Mon, 11 Nov 2019 16:08:40 +0000 (17:08 +0100)
committerPepijn de Vos <pepijndevos@gmail.com>
Mon, 11 Nov 2019 16:08:40 +0000 (17:08 +0100)

Trivial merge