K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2016-01-11T19:18:02.094783Z
K 7
svn:log
V 409
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)

END