Fixing configure and getting use to git
[hrr.git] / tools / 
tree94568445816ac2ff67f20e5ef9bcd5d89fdd8c7e
drwxr-xr-x   ..
-rwxr-xr-x 1311 bin2head
-rwxr-xr-x 5402 gpg_bless