Closed rvanasa closed 1 year ago
This PR includes a patch for the viperTools path so that the Motoko-san extension will work by default on WSL.
viperTools
Context: this forum conversation
This PR includes a patch for the
viperTools
path so that the Motoko-san extension will work by default on WSL.Context: this forum conversation