|
From: | Richard Stallman |
Subject: | Re: address@hidden: shell-script-mode case indenting] |
Date: | Sun, 01 Oct 2006 11:15:46 -0400 |
And now indentation of ordinary case blocks is wrong: Should we take out that change, or what?
[Prev in Thread] | Current Thread | [Next in Thread] |