blob: 71bb4e903d246793ff480b2c5c570ad65c8c01f1 (
plain)
1
2
3
4
5
6
|
post_upgrade() {
echo "*****************************************************************"
echo "==> Remove obsolete package cache files:"
echo " rm -rf $HOME/.dub/packages/{datefmt-*,gtk-d-*}"
echo "*****************************************************************"
}
|