Repairs begin on Libyan oil pipeline damaged by blast