ahwang16 opened this issue a year ago · 1 comments
Template for submitting feature requests, bugs, ideas, and other issues for Kani. Also some guidelines on what is appropriate to request and what cannot be changed because of technical/time limitations or prior design decisions.
7daacb7