-
Jean-Baptiste Mardelle authored
Move "manage project profiles" option to better place (next to profile list in settings dialog and project settings)
a71b88f6
Move "manage project profiles" option to better place (next to profile list in settings dialog and project settings)