diff options
| author | Aldo Cortesi <aldo@corte.si> | 2017-12-20 09:09:40 +1300 |
|---|---|---|
| committer | Aldo Cortesi <aldo@corte.si> | 2017-12-20 09:09:40 +1300 |
| commit | d7ee5d8f85044c93f5982756f49be8315d148e4c (patch) | |
| tree | a7711babc31a37636de136d44ef6f359d9a00cc0 /.gitignore | |
| parent | 3341edc9fa8e70306e91cf911e4b2b19ef60ba84 (diff) | |
| download | mitmproxy-d7ee5d8f85044c93f5982756f49be8315d148e4c.tar.gz mitmproxy-d7ee5d8f85044c93f5982756f49be8315d148e4c.tar.bz2 mitmproxy-d7ee5d8f85044c93f5982756f49be8315d148e4c.zip | |
commander: palette entries, highlight errors
- Add palette entries specific to commander
- Highlight errors
- Introduce an Unknown type to keep track of extra unknown arguments to
commands
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions