Deluan 1b4483d32b Remove tools.go		2023-11-27 14:06:00 -05:00
..
pre-commit	Remove tools.go	2023-11-27 14:06:00 -05:00
pre-push	Converted pre-push hook into a make target, avoid calling tests twice when releasing	2020-09-24 17:24:31 -04:00