A simple python script to initialize a nix-shell inside the plutus directory in the right commit
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool