ports/83037: Update port: devel/cogito New version 0.12

Wed Jul 6 16:17:21 UTC 2005

Synopsis: Update port: devel/cogito New version 0.12

State-Changed-From-To: open->closed
State-Changed-By: pav
State-Changed-When: Wed Jul 6 16:13:32 GMT 2005
State-Changed-Why: 
Committed, thanks.

Next time, please, submit update as an unified diff between old
and new port directory, like: diff -ruN /usr/ports/devel/cogito ~/myports/cogito

Also, don't edit Makefile header

http://www.freebsd.org/cgi/query-pr.cgi?pr=83037