diff options
| author | Nick White <git@njw.me.uk> | 2013-02-03 23:41:51 +0000 |
|---|---|---|
| committer | Nick White <git@njw.me.uk> | 2013-02-03 23:41:51 +0000 |
| commit | 7db1abc2f7ecd51e6eecc70543a4d267cd32f1e2 (patch) | |
| tree | c807ac967d3902e1ac8890ee38c8a9cd765eff7a /debian/postrm | |
| parent | ee2550662ca1d9c8eba4c4bd21829682f5b10209 (diff) | |
| parent | bea67306d73bc7f18e131be2f1377076fd77e28f (diff) | |
Merge branch 'debmanual'
Diffstat (limited to 'debian/postrm')
| -rw-r--r-- | debian/postrm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/postrm b/debian/postrm new file mode 100644 index 0000000..f5ccda3 --- /dev/null +++ b/debian/postrm @@ -0,0 +1,3 @@ +#!/bin/sh +set -e +if test -x /usr/bin/update-menus; then update-menus; fi |