Changeset 4227 for trunk/scripts/debian/postrm
- Timestamp:
- 04/25/08 16:48:48 (4 months ago)
- Files:
-
- 1 modified
-
trunk/scripts/debian/postrm (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/scripts/debian/postrm
r4102 r4227 1 #!/bin/ bash1 #!/bin/sh 2 2 3 3 ## ================================================================ … … 10 10 echo "Removing menu entries for some of the Logtalk integration scripts..." 11 11 12 if test -x /usr/bin/update-menus; then12 if [ -x /usr/bin/update-menus ] ; then 13 13 update-menus 14 14 fi
