projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 419ef76 2441940)
Merge pull request #139 from nakengelhardt/housekeeping
authorN. Engelhardt <nak@yosyshq.com>
Tue, 15 Mar 2022 15:06:52 +0000 (16:06 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Mar 2022 15:06:52 +0000 (16:06 +0100)
housekeeping


Trivial merge