Merge branch 'documentation'
[profile/ivi/murphy.git] / build-aux /
drwxr-xr-x   ..
-rwxr-xr-x 2109 gen-linker-script
-rwxr-xr-x 5528 git-version-gen
-rw-r--r-- 3038 shave-libtool.in
-rw-r--r-- 2859 shave.in