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