mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00

Remove the numbered source and patches and automatically manage sources and patches. This removes the overhead in maintaining large collections of patches.