mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-01 22:05:08 +00:00
190c68503e
prevent "extra files" with the other RTEMS ports. PR: 20930 Submitted by: maintainer |
||
---|---|---|
.. | ||
patch-aa |