blob: c632e3a1f31ae82578a2392596ff4c28a807080c (
plain)
1
2
3
4
5
6
7
8
|
post_install() {
echo
echo
echo "NOTE: if you wish to set user-specific settings, copy all .cfg files from /usr/share/gravit/"
echo "to $HOME/.gravit/ - as this is not performed by the application itself."
echo
echo
}
|