2018-09-26 02:34:39 +00:00
|
|
|
align.tokens = [
|
|
|
|
|
{code = "%", owner = "Term.ApplyInfix"},
|
|
|
|
|
{code = "%%", owner = "Term.ApplyInfix"}
|
|
|
|
|
]
|
|
|
|
|
|
2018-09-29 13:15:33 +00:00
|
|
|
maxColumn = 120
|
|
|
|
|
|
2018-09-26 03:49:11 +00:00
|
|
|
align.openParenCallSite = false
|
|
|
|
|
|
2018-09-29 13:49:53 +00:00
|
|
|
align = more
|
