--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
(And yes, I know zero-indent is arguably the wrong default. Behavior
which isn't actually a bug, on a 20-year-old codebase, needs to be
discussed -- and ideally put out for comments from the user community
-- before being changed.)
- Was testing not done after changing default indentation? Joseph Kessselman
- Re: Was testing not done after changing default ind... Joseph Kessselman
- Re: Was testing not done after changing default... Joseph Kessselman
- Re: Was testing not done after changing default... Mukul Gandhi
