-
Brad King authored
Revise the documented modifications we need to make to the flex-generated source file according to the needs of the new version. Also drop the duplicate copyright notice block from the generated file.
f70c71c5
A Gitlab security update will be applied on March 29th, between 8am and 10am, EST (UTC-05:00). This site may have intermittent delays during that time.
Revise the documented modifications we need to make to the flex-generated source file according to the needs of the new version. Also drop the duplicate copyright notice block from the generated file.