desktop: fixed bug where menu's Rename Device option got incorrectly disabled
[barry.git] / debian / libbarry-dbg.install
blob8b137891791fe96927ad78e64b0aad7bded08bdc