summarylogtreecommitdiffstats
path: root/servo-git.install
blob: 654977177cfb591e6861ac3d9e7cc6f75e4ab102 (plain)
1
2
3
post_install() {
    echo You need to source /etc/profile or relogin to add Servo to your path.
}