Improve shregmap help message, fixes #1113
authorClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2019 13:23:55 +0000 (15:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2019 13:23:55 +0000 (15:23 +0200)
commit06eb87bcb795b44dc0c9e42c0b2a495c05d23881
treea39f2224ab899b96f509a5ee9f914f443bacefe9
parenta8c85d1b4b810e2ea31770e37e1414b7f1a15283
Improve shregmap help message, fixes #1113

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/techmap/shregmap.cc