Fixed incorrectly labeled badges in readme file.
This commit is contained in:
parent
799c9ce2fb
commit
9d906a195a
@ -1,4 +1,4 @@
|
|||||||
# plasp [](https://github.com/potassco/plasp/releases) [)](https://travis-ci.org/potassco/plasp?branch=master) [)](https://travis-ci.org/potassco/plasp?branch=develop)
|
# plasp [](https://github.com/potassco/plasp/releases) [](https://travis-ci.org/potassco/plasp?branch=master) [](https://travis-ci.org/potassco/plasp?branch=develop)
|
||||||
|
|
||||||
> Translate PDDL to ASP
|
> Translate PDDL to ASP
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user