projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d8d8dee 8b0ec3c)
Merge pull request #2099 from Xiretza/manual-include-path
authorclairexen <claire@symbioticeda.com>
Thu, 4 Jun 2020 16:23:33 +0000 (18:23 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 16:23:33 +0000 (18:23 +0200)
Use in-tree include directory in manual build


Trivial merge