CopilotandCopybot 27aac33259 Add .lean, .lean4, and .hs as editable/viewable file types (#31716) ...

GitOrigin-RevId: c3ee7592d0a1096ac96ca9514579c559d028b840

2026-03-09 09:05:48 +00:00

..

fixtures/logs

…

bootstrap.ts

…

detach-channel.ts

…

editor-providers.tsx

Add usage quota to Workbench (#31782)

2026-03-06 09:17:52 +00:00

error-boundary.tsx

…

render-with-context.tsx

…

reset-meta.ts

Add .lean, .lean4, and .hs as editable/viewable file types (#31716)

2026-03-09 09:05:48 +00:00

sleep.ts

…

with-markup.ts

…