ports/50140: [patch] fix plist devel/linux_devtools (alpha)

Fri Oct 10 07:55:20 UTC 2003

On Thu, Oct 09, 2003 at 10:24:19PM -0700, Edwin Groothuis wrote:
> Synopsis: [patch] fix plist devel/linux_devtools (alpha)
> 
> devel/linux_devtools has changed a little bit, it's now either
> devel/linux_devtools-6 or devel/linux_devtools-7. Any idea which
> one?

Should have been the old one I guess. I'll check the Alpha over the
weekend.
-- 
Hermes: Look at me! I'm invisible.
http://lambda.foldr.org/~vs/ * PGP * S/MIME