Merge pull request #32 from riscv/insn-list
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 11 Sep 2015 22:05:32 +0000 (15:05 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 11 Sep 2015 22:05:32 +0000 (15:05 -0700)
Eliminate non-portable sed usage


Trivial merge