Add "renamename" to clav-cli
commit2c463e63babad15fe81049bdf15a35de32bc45ec
authorS. Gilles <sgilles@math.umd.edu>
Thu, 6 Dec 2018 21:07:37 +0000 (6 16:07 -0500)
committerS. Gilles <sgilles@math.umd.edu>
Thu, 6 Dec 2018 21:07:37 +0000 (6 16:07 -0500)
tree74926c1983999bc0d74dff5fca6394af316e2852
parent2ba854574fb9d656e954e283ce65960bb3c800d1
Add "renamename" to clav-cli

I get sick of parsing the output of "print" when I'm scripting
mutations for which changing the name actually matters.
ui-cli.c