diff options
| author | Jorge Arellano Cid <jcid@dillo.org> | 2016-06-21 18:04:00 -0400 |
|---|---|---|
| committer | Jorge Arellano Cid <jcid@dillo.org> | 2016-06-21 18:04:00 -0400 |
| commit | 5a5f20020fc4b62d1e8f8db48da3eb84e9f4160e (patch) | |
| tree | df9cd8990d47b5d3ad038979b7e32231f3e8029e /dw/widget.cc | |
| parent | 482c55ff10490d2ff26dba537a85359b9913e8a2 (diff) | |
Removed the w3c_plus_heuristics dillorc option.
No longer necessary since the new nesting-cleanup design.
Diffstat (limited to 'dw/widget.cc')
0 files changed, 0 insertions, 0 deletions