What size gas piping should my plumber use?

All lanterns are plumbed to accept ¼” OD copper tubing with flare fitting.