Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unnecessary 'type: ignore' comments in tracetools_trace (#151)
They were added in 9450bfe, but they are not needed, at least not anymore. However, we still need them for the `.completer` assignments, since that's not really an `argparse.Action` attribute. It's used by `argcomplete`, if available. Signed-off-by: Christophe Bedard <[email protected]>
- Loading branch information