Ulf Norell
|
27cbedc7ab
|
Further generalise used names computation
|
2019-02-08 14:16:06 +01:00 |
|
Ulf Norell
|
2ac47059c1
|
Refactor used_ids and used_types into a generic fold
|
2019-02-08 14:16:06 +01:00 |
|
Robert Virding
|
d4d02fd576
|
First test work commit, don't touch
|
2018-12-22 01:23:40 +01:00 |
|