-
Henrik Danielsson authored
This includes two larger changes, the first one being profiles now record the editor library version they are compatible with. This allows for better control when moving from one library version to another. The second change is to the profile overview UI, which now only stores profiles temporarily until they have been explicitly saved.
5a688277