Skip to content

Commit

Permalink
Merge pull request #353 from riscv-non-isa/352-bump-docs-resources-to…
Browse files Browse the repository at this point in the history
…-get-larger-table-font

Bumping docs-resources version
  • Loading branch information
ved-rivos authored Jun 12, 2024
2 parents 7c4079b + c545346 commit dc44293
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs-resources

0 comments on commit dc44293

Please sign in to comment.