Fix #717 by only updating the name widget when necessary
[pulseview.git] / contrib / pulseview.desktop
2013-05-19 Alexandru Gagniuccontrib: Add pulseview.desktop file