Configurations don't delete

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 69 forks source link

Closed RobertVillalba closed 12 years ago

RobertVillalba commented 12 years ago

Configurations will not be deleted when I click delete and ok on the GUI

jimjing commented 12 years ago

fixed in this commit c07682fd5a4