mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-06 11:41:52 +00:00
![Tobias C. Berner](/assets/img/avatar_default.png)
- 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