mirror of
https://github.com/dolthub/dolt.git
synced 2026-05-04 03:11:52 -05:00
e164f8aeec
This puts the flow header after the copyright header. It also: * fixes the existing files to have valid headers * Makes sure the script can handle doctype