debian/postrm
changeset 717 44f74fad2cc0
parent 171 59f5197b088a
equal deleted inserted replaced
716:eb9aad0c3627 717:44f74fad2cc0