diff options
| author | Masahiro Yamada <[email protected]> | 2021-01-16 08:43:04 +0900 |
|---|---|---|
| committer | Masahiro Yamada <[email protected]> | 2021-02-16 12:01:45 +0900 |
| commit | 13940738c2647bac783439a800fd25ead362a110 (patch) | |
| tree | d1d1ef32704b987f16ddd25e5345d382c39586ac /scripts/gdb/linux/rbtree.py | |
| parent | e66e13a3c97486416f65343cd66760645b1d27c7 (diff) | |
genksyms: remove useless case DOTS
This switch statement does not list out all the cases. Since the
'default' covers all the rest, the 'DOTS' case is unneeded.
Signed-off-by: Masahiro Yamada <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/rbtree.py')
0 files changed, 0 insertions, 0 deletions