Make dump_title_value() still a little closer to dump_value().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:11:08 +0000 (21:11 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:11:08 +0000 (21:11 -0800)
commit4894248d0d28403f04b474f47eca308a96b66ce7
treebbf3796906255941a54bb6328295b39f779d36dc
parent35d486d1a1ca5dd788b188355fd5e090bed785b3
Make dump_title_value() still a little closer to dump_value().
dump.c