mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-19 08:13:21 +00:00
7eebd8d39b
Make portlint -A happy and update the port to the current version. PR: ports/58644 Submitted by: Miguel Mendez <flynn@energyhq.es.eu.org> Approved by: maintainer timeout |
||
---|---|---|
.. | ||
patch-makefile | ||
patch-sim_defs.h |