Skip to content

Issue1189#2

Open
SimonDold wants to merge 20 commits intoremochristen:issue1189from
SimonDold:issue1189
Open

Issue1189#2
SimonDold wants to merge 20 commits intoremochristen:issue1189from
SimonDold:issue1189

Conversation

@SimonDold
Copy link
Collaborator

This is a Placeholder
Replace the content of this field with a meaningful description of the changes made within this pull request. It will be suggested as the commit message when merging the pull request.

For the pull request title, summarize the changes in imperative mood and prepend "[issueX]" where X is the issue number in our issue tracker (issues.fast-downward.org). The title will be suggested as the commit subject.

The commit message (i.e., this field) should highlight how the changes affect planner behavior:

  • Do they add functionality?
  • Does the command line syntax change?
  • Is planner performance affected according to the experiment?

Find our guidelines for commit messages in the Fast Downward Wiki (https://www.fast-downward.org/latest/for-developers/git/#git_conventions).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants