mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-30 16:02:35 +08:00
PR 1674/docs * user/Makefile.am, user/dirstat.texi: Fix bad node reference.
PR 1674/docs * user/Makefile.am, user/dirstat.texi: Fix bad node reference.