John Marino 24ca9e199f ports-mgmt/tinderbox-devel: set IGNORE, DEPRECATED, remove on 14 Feb ... The -devel version of tinderbox hasn't seen an update in over three years and it's significantly older than the stable version. Since there doesn't appear to be a need for -devel version anymore, let's just remove it on 14 Feb 2016. (Don't forget to set secondly field in MOVED accordingly!) PR: 206138 Approved by: crees (maintainer)		2016-01-11 19:18:02 +00:00
..
files
distinfo
Makefile	ports-mgmt/tinderbox-devel: set IGNORE, DEPRECATED, remove on 14 Feb	2016-01-11 19:18:02 +00:00
pkg-descr
pkg-plist