Simon Tatham
4b8dc56284
Formatting: remove spurious spaces in 'type * var'.
...
I think a lot of these were inserted by a prior run through GNU indent
many years ago. I noticed in a more recent experiment that that tool
doesn't always correctly distinguish which instances of 'id * id' are
pointer variable declarations and which are multiplications, so it
spaces some of the former as if they were the latter.
2022-08-03 20:48:46 +01:00
..
2022-08-03 20:48:46 +01:00
2022-08-03 20:48:46 +01: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-08-03 20:48:46 +01:00
2021-04-26 18:00:01 +01:00
2022-08-03 20:48:46 +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-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
2022-08-03 20:48:46 +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-08-03 20:48:46 +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-08-03 20:48:46 +01:00
2022-01-03 12:12:05 +00:00
2020-02-16 11:26:21 +00:00
2022-08-03 20:48:46 +01:00
2022-04-02 17:26:24 +01:00
2022-08-03 20:48:46 +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