49352adf9c
robotti@metconnect.com so that 'ar -xv' and 'ar -x -v' both work. -Erik
robotti@metconnect.com so that 'ar -xv' and 'ar -x -v' both work. -Erik