bug 1183: correct comments from cut/paste
[openpower-isa.git] / reindent.py
2022-07-28 Jacob Lifshayadd handy re-indenting script