+sbt Add rewriteTokens (#28282)
This commit is contained in:
parent
052050b1af
commit
9712db7b48
1 changed files with 5 additions and 0 deletions
|
|
@ -45,3 +45,8 @@ rewrite.neverInfix.excludeFilters = [
|
||||||
inOrderElementsOf
|
inOrderElementsOf
|
||||||
theSameElementsAs
|
theSameElementsAs
|
||||||
]
|
]
|
||||||
|
rewriteTokens = {
|
||||||
|
"⇒": "=>"
|
||||||
|
"→": "->"
|
||||||
|
"←": "<-"
|
||||||
|
}
|
||||||
Loading…
Add table
Add a link
Reference in a new issue