IntersectMBO / plutus-apps

The Plutus application platform
Apache License 2.0
305 stars 213 forks source link

Forgot to modify the `std` file in a previous PR #941

Closed koslambrou closed 1 year ago

koslambrou commented 1 year ago

Forgot to modify the std files in the last PR

Pre-submit checklist: