Simon Tatham
3a42a09dad
Formatting: normalise back to 4-space indentation.
...
In several pieces of development recently I've run across the
occasional code block in the middle of a function which suddenly
switched to 2-space indent from this code base's usual 4. I decided I
was tired of it, so I ran the whole code base through a re-indenter,
which made a huge mess, and then manually sifted out the changes that
actually made sense from that pass.
Indeed, this caught quite a few large sections with 2-space indent
level, a couple with 8, and a handful of even weirder things like 3
spaces or 12. This commit fixes them all.
2022-08-03 20:48:46 +01:00
..
2022-08-03 20:48:46 +01:00
2022-01-03 12:12:05 +00:00
2021-05-24 15:27:38 +01:00
2022-05-01 10:16:19 +01:00
2022-06-01 11:14:21 +01:00
2022-05-21 09:53:03 +01:00
2022-07-07 18:05:32 +01:00
2022-07-30 14:44:46 +01:00
2021-04-26 18:00:01 +01:00
2022-08-03 20:48:46 +01:00
2022-05-08 11:10:55 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-05-27 09:48:32 +01:00
2022-04-24 08:38:27 +01:00
2022-07-07 17:34:24 +01:00
2021-04-26 18:00:01 +01:00
2021-05-03 17:01:55 +01:00
2022-08-03 20:48:46 +01:00
2022-01-22 15:51:31 +00:00
2020-06-21 16:39:47 +01:00
2020-06-21 16:39:47 +01:00
2022-01-22 15:51:31 +00:00
2021-10-30 17:29:24 +01:00
2022-08-03 20:48:46 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2021-04-22 20:00:46 +01:00
2022-08-03 20:48:46 +01:00
2019-09-08 20:29:21 +01:00
2022-08-01 19:40:24 +01:00
2022-07-30 17:16:55 +01:00
2022-07-07 18:05:32 +01:00
2022-07-26 12:42:17 +01:00
2021-04-26 18:00:01 +01:00
2022-05-21 10:34:17 +01:00
2021-05-08 17:33:25 +01:00
2021-05-08 17:51:27 +01:00
2021-05-08 17:33:25 +01:00
2022-07-07 18:05:32 +01:00
2022-07-07 18:05:32 +01:00
2022-05-21 10:59:31 +01:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2021-02-23 18:26:50 +00:00
2022-08-03 20:48:46 +01:00
2019-09-08 20:29:21 +01:00
2022-07-30 17:16:55 +01:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2021-04-17 13:53:02 +01:00
2019-03-18 21:53:45 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2022-02-04 19:32:47 +00:00
2021-10-30 17:28:28 +01:00
2022-05-18 13:05:17 +01:00
2022-01-03 12:12:05 +00:00
2020-02-16 11:26:21 +00:00
2022-06-25 14:32:23 +01:00
2022-04-02 17:26:24 +01:00
2022-06-01 09:28:25 +01:00
2019-03-18 22:02:13 +00:00
2017-05-07 16:29:01 +01:00
2022-01-22 15:51:31 +00:00
2022-08-03 20:48:46 +01:00
2022-01-22 15:51:31 +00:00