krr / IDP / issues / #891 - Options are broken (lua option interface?) — Bitbucket

Issue #891 new

Bart Bogaerts created an issue 2015-06-12

See, e.g.,

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=84a212ade09c7b75a32c

Comments (0)

Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!