← 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:

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.