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