Minor updates to dev install instructions
authorMagnus Hagander <magnus@hagander.net>
Mon, 24 Jun 2019 20:31:35 +0000 (22:31 +0200)
committerMagnus Hagander <magnus@hagander.net>
Mon, 24 Jun 2019 20:31:35 +0000 (22:31 +0200)
commit0c8abeab97425075d5ad51045a9cfc84a98d7577
tree05c209c032f19a7cb03e190d6d90ec96635df459
parent23dee227b067a6880afcca514b139a4fcc592a57
Minor updates to dev install instructions

Issues pointed out by Andrew Dunstan
docs/dev_install.rst