bug 1034: clarify CR field encoding (extra/value)
[openpower-isa.git] / reindent.py
2022-07-28 Jacob Lifshayadd handy re-indenting script