• Matthias Braun's avatar
    cleanup dbginfo public API: no dbg_snprint anymore · bf3972bf
    Matthias Braun authored
    (there is retrieve_dbginfo stuff already there! And don't tell me about possible
     future extensions where sets of locations are merged and someone generates
     usefull debug info from that. Noone uses this currently!)
    
    [r26878]
    bf3972bf