misc: harmonize names 89/28189/1
[vpp.git] / extras / bash /
drwxr-xr-x   ..
-rw-r--r-- 8727 functions.bash