2 Commits

Author	SHA1	Message	Date
Matt Keeler	e542e63031	Generalize git pushing in a bash function	2018-06-15 20:42:07 -04:00
Matt Keeler	1aac7c7081	Add capability to put tree back into dev mode via make dev-tree	2018-06-15 08:00:12 -04:00