summarylogtreecommitdiffstats
path: root/mcrl2.install
blob: 4ea068aa1f9b79da16ecdcbde1d845ccdef83f75 (plain)
1
2
3
4
5
6
7
post_install () {
               xdg-icon-resource forceupdate
}

post_remove () {
               xdg-icon-resource forceupdate
}