diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-16 15:16:24 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-02-16 15:16:24 -0500 |
| commit | 6d2679917919f1d59bf677d719fb84aedf8b9558 (patch) | |
| tree | f120830a43f13260b7c2b99bd2ed3bc4b0f7a6ba /introspect.awk | |
| parent | 547ba5a9e854c2811c8452123dae8caa01e1e26e (diff) | |
bootchart: rename --filter to --no-filter
Turning off filtering with --filter is just too confusing.
Config option "Filter" doesn't have to be changed, here
"Filter=yes" already meant to filter.
Diffstat (limited to 'introspect.awk')
0 files changed, 0 insertions, 0 deletions