[dev] update dev_setup.sh to 2e4a184 and add tip for installed higher… · starcoinorg/move@7871d83 · GitHub

Commit

[dev] update dev_setup.sh to 2e4a184 and add tip for installed higher…

Browse files

… version of boogie (#24)

* boogie tip

* update script to move-language 2e4a184

Loading branch information

jiangying000 authored Sep 22, 2022

1 parent 18ddf1e commit 7871d83