projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0d90e29 0308142)
Merge pull request #185 from georgerennie/prefix_empty_taskname
authorJannis Harder <me@jix.one>
Fri, 24 Jun 2022 10:40:09 +0000 (12:40 +0200)
committerGitHub <noreply@github.com>
Fri, 24 Jun 2022 10:40:09 +0000 (12:40 +0200)
Use default prefix directory when no task is specified


Trivial merge