mirror of
https://github.com/apache/nuttx.git
synced 2026-06-08 01:42:58 +08:00
Xiang Xiao
2763f67640
since it isn't used anymore and mismatch with other *.dat Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
CI Tools
These are tools and data used for the CI system. Some of what is here may also be useful for local testing.