mirror of
https://github.com/apache/nuttx.git
synced 2026-06-07 17:33:08 +08:00
c79bda6e4f
I forgot to remove some of them in https://github.com/apache/incubator-nuttx/pull/2227 . This commit removes them.