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)
commit19ca4e2ac3f9a4d374299e914ac08c47813f909b
treea322b3e9798e404d26b1c623d60cf28687173bbc
parent556341a77fccd990fa8c06c78b2b41a956b9b98f
parenta9baee4b24a2e2d854d96b9d38e53f3cc4e1262a
Merge pull request #722 from whitequark/rename_src

rename: add -src, for inferring names from source locations