aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDr. ERDI Gergo <gergo@erdi.hu>2014-01-31 00:55:50 +0800
committerDr. ERDI Gergo <gergo@erdi.hu>2014-01-31 01:03:17 +0800
commit039b2346cd7a9998135636146ea234eb9cc0fbab (patch)
tree79312a767c40b3ba2c35148184e3702fa41afe2b /.gitignore
parent18e9417edcda21dd23edf675b41f46ab336d773f (diff)
Handle infix vs prefix names correctly everywhere, by explicitly specifying the context
The basic idea is that "a" and "+" are either pretty-printed as "a" and "(+)" or "`a`" and "+"
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions