indent all verbatim, it was hard to find verbatim code
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 4 Jul 2022 13:36:22 +0000 (14:36 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 4 Jul 2022 13:36:22 +0000 (14:36 +0100)
commitcd42985a8bdf08dba2f0a007874b3f08c776480a
tree5423fe351af54d8bd67b7d39728a909789234306
parent6a5930c865332bb53d005ba37a87e39c47c04973
indent all verbatim, it was hard to find verbatim code
openpower/simple_v_spec.tex