# Check if a newer version of gerris is available
05 12 * * * root /usr/local/sbin/gerris-updater.sh
