mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-30 21:49:25 +00:00
190c68503e
prevent "extra files" with the other RTEMS ports. PR: 20930 Submitted by: maintainer |
||
---|---|---|
.. | ||
patch-aa |