summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorStephan Seitz <stephan.seitz@fau.de>2020-08-20 11:00:11 +0200
committerKiyan Yazdani <yazdani.kiyan@protonmail.com>2020-08-20 11:51:30 +0200
commit5c0ca925af3332769f04c122ecb5bb9a5ca36dd0 (patch)
treefd6cc0e8b857a30ca6cccef916374a916c9dfef4 /.github
parentd2538ab7a7ca403d8185fe42a985eaf385c9e70e (diff)
Python highlights: add additional operators
This is applies the upstream PR to our repo: https://github.com/tree-sitter/tree-sitter-python/pull/73
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions