Patch from Joe Atzberger to address a number of small issues, including better repo...
[working/Evergreen.git] / build / tools /
drwxr-xr-x   ..
-rwxr-xr-x 5514 update.sh
-rw-r--r-- 2496 update_db.sh