summaryrefslogtreecommitdiff
path: root/src/search.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-02-03 08:30:56 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-02-03 08:30:56 -0500
commitbd436ef8118359169a43525aa57bdbee5f784500 (patch)
tree125c91833d2628da2b9ff4d224c4bd1a8a06627d /src/search.sig
parent4538805297f36f5000c23d5f5f8d851071480d8f (diff)
Mention convention for parens in selected expressions
Diffstat (limited to 'src/search.sig')
0 files changed, 0 insertions, 0 deletions