Miko
229cae78b5
Use module partitions instead of full modules ( #1146 )
...
Follow-up to #1015 . This pull request replaces the full modules that represent headers, with partitions, to emphasise the belonging of the header to the module. This should hopefully provide a speedup to compilation, and confuse users less by aggregating the usable modules into a smaller set.
2025-11-12 13:42:37 +01:00
..
2023-08-19 13:57:01 +02:00
2024-05-01 14:32:22 +02:00
2025-11-12 13:42:37 +01:00
2024-05-01 14:32:22 +02:00
2025-07-08 08:55:37 +02:00
2025-11-12 13:42:37 +01:00
2024-05-01 14:32:22 +02:00
2025-03-19 15:33:05 +01:00
2024-05-01 14:32:22 +02:00
2025-06-04 19:40:43 +02:00
2025-11-12 13:42:37 +01:00
2025-08-17 11:18:25 +02:00
2025-06-05 11:35:14 +02:00
2025-11-12 13:42:37 +01:00
2024-05-01 14:32:22 +02:00
2025-06-05 11:35:14 +02:00
2025-11-12 13:42:37 +01:00
2024-05-01 14:32:22 +02:00
2025-03-22 17:31:27 +01:00
2025-02-10 23:10:27 +01:00
2025-03-19 15:33:05 +01:00
2025-06-05 11:35:14 +02:00
2025-11-12 13:42:37 +01:00
2024-08-16 11:19:51 +02:00
2025-05-29 08:18:56 +02:00
2024-05-01 14:32:22 +02:00
2025-10-19 16:53:33 +02:00
2025-06-05 11:35:14 +02:00
2025-11-12 13:42:37 +01:00
2025-06-04 15:16:44 +02:00
2025-04-29 15:11:10 +02:00
2025-10-19 16:53:33 +02:00
2024-05-01 14:32:22 +02:00
2025-03-19 15:33:05 +01:00
2025-11-12 13:42:37 +01:00
2024-05-01 14:32:22 +02:00
2025-10-19 16:53:33 +02:00
2025-11-12 13:42:37 +01:00
2025-03-19 15:33:05 +01:00
2025-10-18 11:17:59 +02:00
2025-10-18 11:17:59 +02:00
2025-10-19 17:17:28 +02:00
2025-08-17 11:18:25 +02:00
2025-10-19 19:34:52 +02:00
2025-11-12 13:42:37 +01:00
2025-03-19 15:33:05 +01:00
2025-08-19 09:34:30 +02:00
2025-08-17 11:18:25 +02:00
2025-08-17 11:18:25 +02:00
2025-08-17 11:18:25 +02:00
2025-08-17 11:18:25 +02:00
2025-09-21 10:30:52 +02:00
2025-08-17 11:18:25 +02:00
2025-08-17 11:18:25 +02:00
2025-11-12 13:42:37 +01:00
2025-07-02 15:23:01 +02:00
2025-08-17 11:18:25 +02:00
2025-08-17 11:18:25 +02:00
2025-07-02 15:23:01 +02:00
2024-05-01 14:32:22 +02:00
2023-08-19 13:57:01 +02:00
2025-03-19 15:33:05 +01:00