Subsequent EDI patch from Joe Atzberger. In this installmanent, EDI really does...
[working/Evergreen.git] / build / tools /
drwxr-xr-x   ..
-rwxr-xr-x 5588 update.sh
-rwxr-xr-x 2496 update_db.sh