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