Skip to content

Comments

use list of lists adoc from docs-resources#50

Draft
ghost wants to merge 1 commit intomainfrom
dev/kbroch/list-of-listing-include-from-doc-resources
Draft

use list of lists adoc from docs-resources#50
ghost wants to merge 1 commit intomainfrom
dev/kbroch/list-of-listing-include-from-doc-resources

Conversation

@ghost ghost marked this pull request as draft July 16, 2024 20:48
@ghost
Copy link
Author

ghost commented Jul 16, 2024

draft until docs-resources lands and need to update submodule hashref

relates to:

* riscv/riscv-isa-manual#1532
* riscv/docs-resources#28

Signed-off-by: Kevin Broch <kbroch@rivosinc.com>
@ghost ghost force-pushed the dev/kbroch/list-of-listing-include-from-doc-resources branch from 3d90f26 to 030a7c5 Compare November 6, 2024 05:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant