Differences between revisions 48 and 50 (spanning 2 versions)
Revision 48 as of 2019-06-07 13:19:30
Size: 1919
Comment:
Revision 50 as of 2020-07-06 12:40:46
Size: 1959
Editor: JendrikSeipp
Comment:
Deletions are marked like this. Additions are marked like this.
Line 10: Line 10:
 * [[/Git]]: our Git workflow and Git tips and tricks
Line 30: Line 31:
 * '''Python code:''' We follow [[http://www.python.org/dev/peps/pep-0008/|PEP 8]] and support Python 2.7 and Python >= 3.2.  * '''Python code:''' We follow [[http://www.python.org/dev/peps/pep-0008/|PEP 8]] and support Python >= 3.6.

Back to the HomePage.

Information for developers

Subpages:

Other bits and pieces

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