Fabian Homborg 115892ccd2 alias: Use read --tokenize ... This did some weird unescaping to try to extract the first word. So we're now more likely to be *correct*, and the alias benchmark is about 20% *faster*. Call it a win-win.		2019-12-01 18:14:26 +01:00
..
benchmarks	alias: Use read --tokenize	2019-12-01 18:14:26 +01:00
driver.sh	driver.sh: Run through shellcheck	2019-11-28 20:26:01 +01:00