Public buildings. Estimate of appropriations for repair of public buildings to be included in deficiency appropriation bill.