Copilot 27aac33259 Add .lean, .lean4, and .hs as editable/viewable file types (#31716) hai 7 meses
..
settings.defaults.js 27aac33259 Add .lean, .lean4, and .hs as editable/viewable file types (#31716) hai 7 meses