aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorIavor S. Diatchki <diatchki@galois.com>2014-06-30 13:19:09 -0700
committerEdward Z. Yang <ezyang@cs.stanford.edu>2014-07-01 03:37:07 -0700
commit8d20ca8d5a9bee73252ff2035ec45f9c03d0820c (patch)
tree0dd2429e3937ffc3e05669d1c1f1a1623cd7a68d /Makefile
parent1a3f8f74116d749a17467c79ee30c5efabd694d2 (diff)
Propagate overloading-mode for instance declarations in haddock (#9242)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions