[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Move -dev files to libs?



On Sun, May 31, 1998 at 11:36:58PM -0700, Guy Maor wrote:
> Would anybody object if I moved -dev files and associated
> documentation to the libs section?  The dev section is by far the
> largest section and this would help reduce its size.

I think this makes sense and I welcome this. It will help to make the ftp
organization better.
 
Marcus

-- 
"Rhubarb is no Egyptian god."        Debian GNU/Linux        finger brinkmd@ 
Marcus Brinkmann                   http://www.debian.org    master.debian.org
Marcus.Brinkmann@ruhr-uni-bochum.de                        for public  PGP Key
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/       PGP Key ID 36E7CD09


--
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org


Reply to: