Default instr is now a hard-coded constant.
authorplugd <plugd@thelambdalab.xyz>
Sat, 28 Dec 2019 22:10:26 +0000 (09:10 +1100)
committerplugd <plugd@thelambdalab.xyz>
Sat, 28 Dec 2019 22:10:26 +0000 (09:10 +1100)

No differences found