Fri, 24 Jun 2005 10:10:10 +0200
On 23.06.05, Jörg Sommer wrote:
> G. Milde schrieb am Wed 01. Jun, 10:44 (+0200):
> > On 31.05.05, Jörg Sommer wrote:
> > > But you address a good point: Why we should have two config files?
> > > Would we follow this way or put all the stuff in 00debian.sl into
> > > jed.conf. I would prefer this.
> > So do I. How about the suggestion below?
> > I edited the content of 00debian.sl and left out my indent* contributions
> > (as these are already in jed-extra and will probabely be included in the
> > next upstream jed release).
> Did you upload this changes into svn?
Not yet. Do you want me to do it?
Is there any special action needed when removing a file (00debian.sl)?