History of update_deps.bash @c377c2ee-57ee-4295-ba5c-f8a0b0e527d1/main
- update_deps.bash: handle detached HEAD better Peter Bourgon 4 years ago
- Silly fix to needless script Peter Bourgon 6 years ago
- Add coverage.bash script; make scripts consistent Peter Bourgon 7 years ago
- Update import paths Peter Bourgon 7 years ago
- update_deps.bash helper script Peter Bourgon 7 years ago