v1.0
Use the scripts in this release to clean up your Fast Downward repository (which still uses Mercurial) and to convert it to Git.
Use the scripts in this release to clean up your Fast Downward repository (which still uses Mercurial) and to convert it to Git.