$$ $1 $2 etc convert to p[0] p[1] p[2]
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 25 Apr 2019 21:42:34 +0000 (22:42 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 25 Apr 2019 21:42:34 +0000 (22:42 +0100)
commit7d9b0e1fb9510c31fa94a1bca8786157506a7a54
treebdf0b03d798a9eb672ad826be94348e956489dfb
parentac2b78403620527637a5c9e91d7807270ace1588
$$ $1 $2 etc convert to p[0] p[1] p[2]
parse_sv.py