Hello.
There are two different version of Tinderbox in the ports tree. One ports-mgmt/tinderbox and one ports-mgmt/tinderbox-devel. What's the difference between these two? I found nothing in the pkg-descr. There are more ports that have -devel in their names. What does -devel means in general? Does it means that the -devel version is for the developers and maintainers?
There are two different version of Tinderbox in the ports tree. One ports-mgmt/tinderbox and one ports-mgmt/tinderbox-devel. What's the difference between these two? I found nothing in the pkg-descr. There are more ports that have -devel in their names. What does -devel means in general? Does it means that the -devel version is for the developers and maintainers?