Factorize some code, move some useful stuff in pervasive.sh for future
[platal.git] / upgrade / inc /
drwxr-xr-x   ..
-rwxr-xr-x 1214 pervasive.sh