git: use run_command() to execute dashed externals
[gitweb.git] / arm /
drwxr-xr-x   parent (dest: ; base: d8e96fd86d415554a9c2e09ffb929a9e22fdad25)
-rw-r--r-- 1835 sha1.c
-rw-r--r-- 565 sha1.h
-rw-r--r-- 3559 sha1_arm.S