Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minor formatting issue in Zcheripte #523

Closed
Timmmm opened this issue Feb 5, 2025 · 0 comments · Fixed by #524
Closed

Minor formatting issue in Zcheripte #523

Timmmm opened this issue Feb 5, 2025 · 0 comments · Fixed by #524
Assignees
Labels
documentation Improvements or additions to documentation

Comments

@Timmmm
Copy link
Contributor

Timmmm commented Feb 5, 2025

Image

The final two bullets should be indented (or maybe numbered).

arichardson added a commit that referenced this issue Feb 5, 2025
Move the note after the two sub-items to ensure asciidoc renders the
document correctly.

Fixes: #523
@arichardson arichardson self-assigned this Feb 5, 2025
@arichardson arichardson added the documentation Improvements or additions to documentation label Feb 5, 2025
arichardson added a commit that referenced this issue Feb 7, 2025
Move the note after the two sub-items to ensure asciidoc renders the
document correctly.

Fixes: #523
tariqkurd-repo pushed a commit to tariqkurd-repo/riscv-cheri that referenced this issue Feb 10, 2025
Move the note after the two sub-items to ensure asciidoc renders the
document correctly.

Fixes: riscv#523
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants