History of update_deps.bash @2fb53d48-7f67-4645-ba70-f8304edfe7b2/main
- update_deps.bash: handle detached HEAD better Peter Bourgon 6 years ago
- Silly fix to needless script Peter Bourgon 8 years ago
- Add coverage.bash script; make scripts consistent Peter Bourgon 8 years ago
- Update import paths Peter Bourgon 8 years ago
- update_deps.bash helper script Peter Bourgon 9 years ago