Hi! May be rename the profiles:
'default' to 'debug' with 'variant' option set to 'debug' 'opt' to 'default' with 'variant' option set to '' (as for default now). Seems, it will be more comfortably for using. S. _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp
