On Tue, Oct 24, 2023 at 10:16:55AM +0900, Amit Langote wrote:
> +1. While I’ve made it part of routine to keep my local work pgindented
> since breaking Joel once, an option like this would still be useful.
I'd be OK with an option like that. It is one of these things to type
once in a script, then forget about it.
--
Michael