0022907: The function 'distmini' produces wrong result.
-rw-r--r-- 1361 .gitattributes
-rw-r--r-- 97 .gitignore
drwxr-xr-x - adm
drwxr-xr-x - data
drwxr-xr-x - samples
drwxr-xr-x - src