mirror of
https://github.com/apache/nuttx.git
synced 2025-12-06 09:01:15 +08:00
docs/config: Wrong term.
Fixes #17225 Signed-off-by: Geoffroy Du Prey <geoffroy.duprey@wandercraft.health>
This commit is contained in:
Reference in New Issue
Block a user