Jacques Lucke
b3641dae16
Cleanup: deduplicate remap node pairing function
...
It's a bit unfortunate that the `node_map` in both cases has different
constness, so a conversion or `reinterpret_cast` is necessary. For now
a new temporary map is created as this is less error prone. That's not
ideal but better than the duplication from before.
2023-06-16 17:03:55 +02:00
..
2023-06-16 12:20:33 +10:00
2023-05-31 16:19:06 +02:00
2023-06-03 08:54:37 +10:00
2023-06-16 08:23:24 -04:00
2023-06-16 08:14:25 -04:00
2023-06-15 13:35:34 +10:00
2023-06-07 11:46:20 +02:00
2023-06-14 12:20:06 +10:00
2023-06-15 13:35:34 +10:00
2023-06-15 13:35:34 +10:00
2023-06-14 14:04:02 +02:00
2023-06-16 12:20:31 +10:00
2023-06-16 17:03:55 +02:00
2023-06-15 13:35:34 +10:00
2023-06-16 10:53:11 +02:00
2023-06-16 13:11:05 +12:00
2023-06-16 08:14:25 -04:00
2023-06-16 15:13:31 +02:00
2023-06-14 23:36:23 +10:00
2023-06-16 13:51:41 +10:00
2023-06-16 08:14:25 -04:00
2023-06-16 08:14:25 -04:00
2023-06-16 15:23:49 +02:00
2023-06-16 08:23:47 -04:00
2023-06-16 08:14:25 -04:00
2023-06-15 13:35:34 +10:00
2023-06-16 14:39:30 +02:00
2023-06-15 13:35:34 +10:00
2023-06-15 13:35:34 +10:00
2023-06-15 13:35:34 +10:00
2023-06-13 14:51:49 -04:00
2023-05-31 16:19:06 +02:00