v1.1

David Martínez

@dmartinez

c2ef2456 · Removed warning. · Nov 07, 2014

Migration to PPDDL. Domain migrator from NID to PPDDL available.