summaryrefslogtreecommitdiff
path: root/ale_linters/dafny
diff options
context:
space:
mode:
authorIvor Peles <ivorpeles@gmail.com>2020-11-25 17:57:40 -0500
committerIvor Peles <ivorpeles@gmail.com>2020-11-25 17:57:40 -0500
commitce3d891bed18f610beb9117518ef560871ef00a0 (patch)
tree5717094efc9a41d2744b80a7f09ca704795f14e8 /ale_linters/dafny
parent713e53e3f64520b0501cb5d7b4c525946e6c7783 (diff)
downloadale-ce3d891bed18f610beb9117518ef560871ef00a0.zip
Use better string comparison operators in isort fixer
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions