R.B. Boyer 6071024121 build: fix 'make ui' scripts so that it can handle versions like "v1.4.0-rc1-55-g2c8675565-rc1 (2c8675565)" (#4920)		2019-01-29 14:24:26 -06:00
..
docker	…
functions	…
scripts	…