Skip to content
GitLab
Explore
Sign in
Register
Fix the README file name
Code
Review changes
Check out branch
Download
Patches
Plain diff
Chris Johns
requested to merge
chris/rtems-docs:fix-readme-file-name
into
main
May 25, 2024
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Summary
This fixes the basic mistake in
!12 (merged)
Merge request reports