diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-27 11:07:38 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-27 11:07:38 -0700 |
| commit | 3378c9fd490f2be86425f13cbd9ece7f9ac31026 (patch) | |
| tree | 668342d4b469226119cff701ab2bc3351a07dac7 /guidelines | |
| parent | 899930095f519c19da9e379053a8557fbb7cff29 (diff) | |
Keep elements highlighted when at least one problem is toggled
Diffstat (limited to 'guidelines')
0 files changed, 0 insertions, 0 deletions