update.sh: use --prune option instead of separate command
[girocco.git] / cgi / Girocco
blobc73296d8e845780a5085e2636491283d051b8798
1 ../Girocco/