mirror of
https://github.com/apache/nuttx.git
synced 2026-08-20 23:49:05 +08:00
Olddefconfig allows refreshing .config options if the user manually edit some entry on .config file. Signed-off-by: Filipe Cavalcanti <filipe.cavalcanti@espressif.com>