Lines Matching refs:digital
1300 *-digital*)1301 basic_machine=`echo $basic_machine | sed 's/digital.*/dec/'`
