> I think, yade-ppa team is better. We will not spam into the yade-dev > list in this case. We might call it yade-pkg, perhaps. But if you did it already, yade-ppa is fine. Cheers, v.
_______________________________________________ Mailing list: https://launchpad.net/~yade-users Post to : [email protected] Unsubscribe : https://launchpad.net/~yade-users More help : https://help.launchpad.net/ListHelp
