Differences between revisions 49 and 51 (spanning 2 versions)
Revision 49 as of 2019-12-03 16:10:09
Size: 1904
Editor: JendrikSeipp
Comment: Raise minimum Python version to 3.6
Revision 51 as of 2020-07-08 18:51:36
Size: 1848
Comment: remove references to deleted page
Deletions are marked like this. Additions are marked like this.
Line 9: Line 9:
 * [[/Mercurial]]: our Mercurial workflow and Mercurial tips and tricks  * [[/Git]]: our Git workflow and Git tips and tricks
Line 12: Line 12:
 * [[/Uncrustify]]: using the {{{uncrustify}}} source code pretty printer, including integration with Mercurial  * [[/Uncrustify]]: using the {{{uncrustify}}} source code pretty printer

Back to the HomePage.

Information for developers

Subpages:

Other bits and pieces

FastDownward: ForDevelopers (last edited 2024-03-15 12:14:37 by MalteHelmert)