Make dump_footnote_value() more like dump_value().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:23:42 +0000 (21:23 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:23:42 +0000 (21:23 -0800)
commit72e71e1591ad0a452090dc8b7f12de187d41f2f1
tree93df4da8e980675541c7a55aa68524e16e00a6a6
parent186d52d9f47015c5896d793b319d2cb9a1012f52
Make dump_footnote_value() more like dump_value().
dump.c