diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-08-05 08:30:25 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-08-05 08:30:48 -0700 |
| commit | 6bb2e7118094d93823c25daf6de3fd9134649eef (patch) | |
| tree | 5dc7d4438912366e5e1a8819420007404a1dbd37 /html/070table.mu.html | |
| parent | b817d4bd2229718ee1a5649280d63a06812f8123 (diff) | |
| download | mu-6bb2e7118094d93823c25daf6de3fd9134649eef.tar.gz | |
4487
Draft attempt at cleaning up warnings, but this isn't quite right. We still emit warnings for every level-1 scenario, and hiding for each of them seems painful. Even if we do that, level-2 scenarios would want to hide level-3 and over warnings, but *not* level-1 warnings. So we need a cardinal number rather than booleans.
Diffstat (limited to 'html/070table.mu.html')
0 files changed, 0 insertions, 0 deletions