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

Re: WMaker: quale file manager?



On Thu, Aug 29, 2002 at 07:11:16PM +0200, Manuele Rampazzo wrote:
> On Wed, Aug 28, 2002 at 06:42:36PM +0200, Lele Gaifax wrote:
> > Il progetto GNUstep offre http://www.gnustep.it/enrico/gworkspace/,
> 
> *SGRUNT*, mi va in segmentation fault inesorabilmente: c'e' da fare
> qualche configurazione particolare che m'e' sfuggita? bisogna lanciarlo
> con qualche opzione?
> 
> Tengo la sid, la versione di gworkspace e' la 0.3.6-1
> 
Idem

-- 
Francesco P. Lovergine



Reply to: