projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 556341a a9baee4)
Merge pull request #722 from whitequark/rename_src
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Dec 2018 14:28:29 +0000 (15:28 +0100)
committerGitHub <noreply@github.com>
Sun, 16 Dec 2018 14:28:29 +0000 (15:28 +0100)
rename: add -src, for inferring names from source locations


Trivial merge