Remco Burema 302e0c6277
Remove redundant button.
As discussed in the CCB this morning. Since the new profile will be the _changed to_ profile rather than the _changed from_ (the latter of which would make the button useful, but since the profile is already switched at that point it would be a lot of work), the 'Create New Profile ...' button (in  the Keep/Discard dialog) is redundant, since you can always create a new profile if you select keep changes.
2020-07-22 11:04:58 +02:00
..
2020-07-22 11:04:58 +02:00
2020-07-07 16:11:03 +02:00
2020-07-20 15:25:55 +02:00
2020-01-16 16:26:15 +01:00
2019-04-19 13:58:41 +02:00
2020-01-07 11:37:37 +01:00
2020-07-13 13:47:51 +02:00
2019-03-08 15:27:17 +01:00