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

repo name fixup #227

Merged

silky merged 1 commit into main from doc-fixup

Jan 6, 2022

Contributor

silky commented Jan 6, 2022

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


          repo name

c783d4f

silky requested a review from catch-21

January 6, 2022 12:25

silky mentioned this pull request

Update examples.rst #226

Merged

8 tasks

silky merged commit 03030cd into main

silky deleted the doc-fixup branch

January 6, 2022 12:46

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

Labels

None yet