1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-21 20:38:45 +00:00
freebsd-ports/ports-mgmt
Satoshi Taoka 2996c814f6 Recently we must use $FreeBSD instead of $Id in Makefile.
So portlint needs this modification.

Approved by: 		maintainer
1999-09-28 02:19:47 +00:00
..
pib
portcheckout
portlint