mirror of
https://github.com/dolthub/dolt.git
synced 2026-05-11 19:11:10 -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