diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-26 18:06:29 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-26 18:06:29 -0700 |
| commit | 899930095f519c19da9e379053a8557fbb7cff29 (patch) | |
| tree | 98b4d429f9ca8decbcd99c4c3429442d6f473b1c /guidelines | |
| parent | b8ed4b775feff99a5be73632367b666d8a833fa3 (diff) | |
Allow multiple distinct problems per ui element
Fixes #16
Diffstat (limited to 'guidelines')
0 files changed, 0 insertions, 0 deletions