rename sm to SH for shift-and-add instructions
[openpower-isa.git] / reindent.py
2022-07-28 Jacob Lifshayadd handy re-indenting script