Skip to content

Commit

Permalink
Merge branch 'master' into develop
Browse files Browse the repository at this point in the history
Bringing into `develop` branch some changes that were left only on `master`.
  • Loading branch information
marcofavorito committed Nov 15, 2022
2 parents 42780fb + 85572ee commit 6b8c0c6
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 1 deletion.
8 changes: 8 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,13 @@
# Change Log

## 0.1.0 (2021-06-21)

The first official release of pddl.

Main features:
* Specify PDDL domains and problems programmatically.
* Parsing for PDDL domains and problems.

## 0.0.1 (2020-07-30)

* First commit on the package.
Expand Down
2 changes: 1 addition & 1 deletion setup.py
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@
long_description=readme + '\n\n' + history,
long_description_content_type="text/markdown",
classifiers=[
'Development Status :: 1 - Pre-Alpha',
'Development Status :: 2 - Pre-Alpha',
'Intended Audience :: Education',
'License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)',
'Natural Language :: English',
Expand Down

0 comments on commit 6b8c0c6

Please sign in to comment.