Differences between revisions 51 and 52
Revision 51 as of 2020-07-08 18:51:36
Size: 1848
Comment: remove references to deleted page
Revision 52 as of 2020-07-09 08:47:53
Size: 1812
Comment: bitbucket -> github
Deletions are marked like this. Additions are marked like this.
Line 14: Line 14:
 * [[/CodeReview]]: how to use Bitbucket code reviews or the Rietveld code review tool with our codebase  * [[/CodeReview]]: how to use Github pull requests for code reviews

Back to the HomePage.

Information for developers


Other bits and pieces

FastDownward: ForDevelopers (last edited 2021-07-02 15:02:48 by PatrickFerber)