Changed the term "Documentation" to "User guide" in the upper left area of the docs site

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.55k stars 466 forks source link

Closed joseph-fajen closed 3 weeks ago

joseph-fajen commented 3 weeks ago

Changed the term "Documentation" to "User guide" in the upper left area of the docs site next to the PLUTUS wordmark logo.