diff options
| author | Jim Fehrle | 2018-11-21 10:31:07 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2018-12-04 12:23:02 -0800 |
| commit | 2e78edb4b8212cc5ab394fde168fc5241ad01660 (patch) | |
| tree | b498e3728b805422b5e6694488a560d1d1d305e5 /plugins/syntax | |
| parent | cb2e08487b4093e87aabb1ce646402d14ca4d9f6 (diff) | |
Remove undocumented "Proof using Clear Unused" flag
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions