Thomas Voss 1df8bcd8fe Minor performance improvements (#975) ... * Skip head and grep and do it all in sed * Replace echo and awk with a parameter expansion		2021-07-21 12:09:53 -04:00
..
bin	Minor performance improvements (#975)	2021-07-21 12:09:53 -04:00
share	clean up	2021-03-07 15:07:41 -05:00