mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-05 11:35:01 +00:00
89d1bb9ab0
- There was no obvious reason to split these ports, and it makes porting simpler; the set of ports using either mostly coincided. Exp-run by: antoine PR: 223687 PR: 232751