add banner discouraging people from editing generated files#966
Merged
Rich-Harris merged 2 commits intomainfrom Dec 10, 2024
Merged
add banner discouraging people from editing generated files#966Rich-Harris merged 2 commits intomainfrom
Rich-Harris merged 2 commits intomainfrom