mirror of
https://github.com/dolthub/dolt.git
synced 2026-04-27 15:41:44 -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