← Back to team overview

yade-users team mailing list archive

Re: [Question #679544]: Best way to fix typos in documentation: source edit + git push?

 

Question #679544 on Yade changed:
https://answers.launchpad.net/yade/+question/679544

Janek Kozicki posted a new comment:
Solution 2. is for people who prefer to have "group runners" we can
provide that.

-- 
You received this question notification because your team yade-users is
an answer contact for Yade.