#  $HeadURL$ $LastChangedRevision$
pin binary: binary-without-manpage usr/bin/pin