fix numbering in microtest
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 9 May 2020 09:04:35 +0000 (10:04 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 9 May 2020 09:12:17 +0000 (10:12 +0100)
commit67aaf31f28d731000f8266a626483ee9b284b631
treed2a0f062922a062406095768c443c9fe2a479883
parent4843b92a5004e472580049ee49d26ac6bbb1871e
fix numbering in microtest
src/spec/microtest.py