Re: devel directory reorg?

[Guy Maor]

>       run-time
>               programs and files needed to run applications
>       devel
>               programs and files needed to develop applications

That's a very reasonable suggestion.  It makes a clear division in
devel, and moves about half of the packages out.


Guy