This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Fix docs link; fixes #42 #43

Merged

silky merged 1 commit into main from fix-rtd-link

Oct 22, 2021

Contributor

silky commented Oct 22, 2021 •

edited

Loading

https://plutus.readthedocs.io/en/latest/ -> https://plutus-apps.readthedocs.io/en/latest/

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          Fix docs link; fixes #42

261925f

silky merged commit 744d3fd into main

silky deleted the fix-rtd-link branch

October 22, 2021 09:00

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet