Fix bug #285 by handling device display names through DeviceManager
[pulseview.git] / pv / util.h
2014-05-23 Jens SteinhauserSamplingBar: Use nicer time format in the tooltip.
2014-05-23 Jens SteinhauserPut the time format function into a separate file.