Jeremy Ruston
0db188f365
Dispense with the letlist widget
...
What this PR actually does is rename the letlist widget to "let". The result is the same as using the letlist widget, but it is backwards compatible by virtue of the fact that all existing ways to access variables will only see the single value for the variable.
2025-03-18 12:46:31 +00:00
..
2021-09-22 13:43:02 +01:00
2021-06-14 18:13:51 +01:00
2024-04-04 16:03:15 +01:00
2014-11-09 16:53:33 +00:00
2022-03-18 12:40:12 +00:00
2024-06-08 17:12:51 +01:00
2021-07-05 09:52:17 +01:00
2022-12-01 21:16:44 +00:00
2021-10-28 09:18:54 +01:00
2022-04-16 18:02:27 +01:00
2021-10-27 11:20:11 +01:00
2024-12-15 07:54:55 +00:00
2024-06-12 10:20:40 +01:00
2025-02-27 18:02:43 +00:00
2021-11-05 08:28:56 +00:00
2020-04-09 11:04:50 +01:00
2024-08-21 18:40:49 +01:00
2023-05-18 12:47:40 +01:00
2024-03-09 10:00:27 +00:00
2024-10-24 17:51:19 +01:00
2023-05-06 14:02:16 +01:00
2020-01-31 09:13:28 +00:00
2021-05-30 19:20:17 +01:00
2024-12-14 16:40:31 +00:00
2016-04-22 08:36:29 +01:00
2025-01-27 11:00:07 +00:00
2022-12-20 17:31:51 +00:00
2014-04-27 20:03:33 +01:00
2021-05-30 19:20:17 +01:00
2022-10-01 10:13:40 +01:00
2022-05-06 17:11:13 +01:00
2021-07-14 09:15:30 +01:00
2020-04-15 12:36:48 +01:00
2025-02-14 17:57:06 +00:00
2025-01-27 11:00:26 +00:00
2023-11-21 11:44:39 +00:00
2024-03-10 15:03:52 +00:00
2021-10-02 16:17:07 +01:00
2024-08-29 17:25:30 +01:00
2025-03-18 12:46:31 +00:00
2024-02-28 12:01:42 +00:00
2023-05-06 12:07:55 +01:00
2023-12-21 10:35:40 +00:00
2021-05-30 19:20:17 +01:00
2023-05-11 16:26:18 +01:00
2023-01-16 19:34:02 +00:00
2024-11-27 16:26:53 +00:00
2024-06-06 11:20:35 +01:00
2013-11-10 19:22:10 +00:00
2018-11-06 16:41:18 +00:00
2024-12-15 07:54:55 +00:00
2024-12-15 07:54:55 +00:00
2021-05-30 19:20:17 +01:00
2023-06-21 17:13:33 +01:00
2023-12-02 08:58:35 +00:00
2024-12-14 16:40:31 +00:00
2021-10-27 11:20:11 +01:00
2023-04-19 11:55:25 +01:00
2023-05-14 21:25:35 +01:00
2024-12-05 12:33:27 +00:00
2021-05-30 19:20:17 +01:00
2021-05-30 19:20:17 +01:00
2024-12-22 18:53:06 +00:00
2021-10-30 11:42:22 +01:00
2024-09-24 11:48:54 +01:00
2025-03-11 12:47:01 +00:00
2021-05-30 19:20:17 +01:00