sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-01 10:56:27 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/devel/splint
History
Nuno Teixeira e23e46cd74 devel/splint: Move man pages to share/man 
Approved by:	portmgr (blanket)
2024-03-06 13:03:25 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist